Esplora un podcast coinvolgente che tratta la Teoria dei Tipi, i linguaggi di programmazione e altro, rendendo argomenti complessi accessibili a tutti coloro che sono interessati alla tecnologia.
#52 Why is Haskell so special - Lennart Augustsson
91 mins • Jul 10, 2025
Charts
- 163NEW
- 172Decreased by 2
- 141Increased by 0
- 151Decreased by 16
- 180Increased by 0
Episodi recenti

Jul 10, 2025
#52 Why is Haskell so special - Lennart Augustsson
91 mins

Jun 4, 2025
#51 s/Coq/Rocq - Nicolas Tabareau
102 mins

May 14, 2025
#50 The Expression Problem, Functional Pearls, Program Calculation - Wouter Swierstra
127 mins

Mar 14, 2025
#49 Self-Education in PL - Ryan Brewer
144 mins

Jan 21, 2025
#48 Bell Labs - David MacQueen
130 mins

Lingua
Inglese
Paese
Stati Uniti
Sito web
Feed
Richiedi un aggiornamento
Gli aggiornamenti potrebbero richiedere alcuni minuti.