hace diez años más o menos manijeo con la programación, y en ese tiempo siempre me interesó tanto la parte práctica de la ingeniería de software como la parte teórica de la ciencia de la computación.
en este último año encerrado en cuarentena aprendí mucho sobre programación funcional incluyendo cálculo lambda, teoría de categorías