Contenido proporcionado por Pedro Abreu. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Pedro Abreu o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.
Player FM : aplicación de podcast
¡Desconecta con la aplicación Player FM !
¡Desconecta con la aplicación Player FM !
#13 C/C++, Emacs, Haskell, and Coq. The Journey - John Wiegley
MP3•Episodio en casa
Manage episode 420953633 series 2951423
Contenido proporcionado por Pedro Abreu. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Pedro Abreu o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.
This episode is about the journey of a programmer that converted himself into a Haskell developer after working with C/C++ for more than 10years.
Here are a few questions that you'll find the answer to in this episode:
- What does he find so compelling about Haskell?
- Why did it make him dive deeper into the Theoretical Computer Science?
- Why did it make him learn Coq and Category Theory?
- How does Coq compare with ACL2?
- How do both Coq and ACL2 compares to TLA+?
- Did learning Coq make John a better programmer?
Links
- John's Email: johnw@newartisans.com
- John's Twitter: @jwiegley
82 episodios
MP3•Episodio en casa
Manage episode 420953633 series 2951423
Contenido proporcionado por Pedro Abreu. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Pedro Abreu o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.
This episode is about the journey of a programmer that converted himself into a Haskell developer after working with C/C++ for more than 10years.
Here are a few questions that you'll find the answer to in this episode:
- What does he find so compelling about Haskell?
- Why did it make him dive deeper into the Theoretical Computer Science?
- Why did it make him learn Coq and Category Theory?
- How does Coq compare with ACL2?
- How do both Coq and ACL2 compares to TLA+?
- Did learning Coq make John a better programmer?
Links
- John's Email: johnw@newartisans.com
- John's Twitter: @jwiegley
82 episodios
Todos los episodios
×Bienvenido a Player FM!
Player FM está escaneando la web en busca de podcasts de alta calidad para que los disfrutes en este momento. Es la mejor aplicación de podcast y funciona en Android, iPhone y la web. Regístrate para sincronizar suscripciones a través de dispositivos.