# (Totalidad + Tipos dependientes) = Agda \| S3-E2

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

- Publicado: 21 de agosto de 2021
- Duración: 23 min
- Temporada 3, episodio 2
- Audio: https://www.buzzsprout.com/758831/episodes/9064988-totalidad-tipos-dependientes-agda-s3-e2.mp3
- Página: https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328879-totalidad-tipos-dependientes-agda-s3-e2

## Sobre este episodio

¡Enviáme un mensaje! Pueden revisar la siguiente entrada de mi blog para acceder a un tutorial sobre la programación funcional, Haskell y Agda: https://camilochaconsartori.wordpress.com/2021/08/08/el-renacer-de-un-viejo-conocido-la-programacion-funcional/ Support the show

Anterior: [¿Por qué es importante Julia? \| S3-E1](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328880-por-que-es-importante-julia-s3-e1)
Siguiente: [¿Por qué el concepto de «paradigma» ya no sirve? \| S3-E3](https://escuchario.semeescucha.es/podcast/erase-una-vez-un-algoritmo/episodio/7328878-por-que-el-concepto-de-paradigma-ya-no-sirve-s3-e3)

## Ú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