scala - tipos - teoria de los rasgos pdf - edu.lat