functional-programming - tipos - inferencias referenciales ejemplos - edu.lat