scala - tipos - teoria de la relevancia ejemplos - edu.lat