.png)
Érase una vez un algoritmo...
Mi bitácora de reflexiones concernientes a la informática desde una visión técnica, científica y filosófica.
Érase una vez un algoritmo...
Uma Zalakain: teoría de los lenguajes de programación | E-79
•
Episode 79
Use Left/Right to seek, Home/End to jump to start or end. Hold shift to jump forward or backward.
Uma Zalakain es una estudiante de doctorado en la universidad de Glasgow (Escocia) en el área de teoría de los lenguajes de programación. Conversamos sobre la verificación de software; el valor de la teoría dentro de la programación; por qué aprender programación funcional te ayuda a pensar mejor; y también sobre Agda, un lenguaje de programación funcional.
Sitio web personal: https://umazalakain.info - Twitter: @typer_uma - Curso de Agda: https://youtu.be/iAkzXIbo0Dw
