# Uma Zalakain: teoría de los lenguajes de programación \| E-79

Episodio de [Érase una vez un algoritmo...](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo), de Camilo Chacón Sartori.

- Publicado: 22 de marzo de 2022
- Duración: 1 h 03 min
- Episodio 79
- Audio: https://www.buzzsprout.com/758831/episodes/10297185-uma-zalakain-teoria-de-los-lenguajes-de-programacion-e-79.mp3
- Página: https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328855-uma-zalakain-teoria-de-los-lenguajes-de-programacion-e-79

## Sobre este episodio

¡Enviáme un mensaje! 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/iAk...

Anterior: [Teoría de las Categorías. ¿El último puente entre la programación y las matemáticas? \| E-78](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328856-teoria-de-las-categorias-el-ultimo-puente-entre-la-programacion-y-las-e-78)
Siguiente: [Las vulnerabilidades y retos de la Inteligencia Artificial \| E-80](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328854-las-vulnerabilidades-y-retos-de-la-inteligencia-artificial-e-80)

## Últimos episodios de Érase una vez un algoritmo...

- [«Magnifica Humanitas» y la IA \| E-148](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328784-magnifica-humanitas-y-la-ia-e-148) · 5 de junio de 2026 · 12 min
- [Cuando el software sobrevive a sus razones \| E-147](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328785-cuando-el-software-sobrevive-a-sus-razones-e-147) · 9 de mayo de 2026 · 21 min
- [Agentes que negocian: contratos de información \| E-146](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328786-agentes-que-negocian-contratos-de-informacion-e-146) · 17 de abril de 2026 · 10 min
- [Infraestructura cognitiva-artificial \| E-145](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328787-infraestructura-cognitiva-artificial-e-145) · 6 de abril de 2026 · 13 min
- [El gap de especificación en los agentes de código \| E-144](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328788-el-gap-de-especificacion-en-los-agentes-de-codigo-e-144) · 23 de marzo de 2026 · 17 min