Episode 133: 🇵🇱 Lambda Days Live 🇵🇱 José Valim, Alexis King & More!
Algorithms + Data Structures = Programs
00:00
The Importance of Dependent Types
Andor Andor spoke yesterday about dependent types. He works for standard chartered and his daily job is a Haskell job. His hobby is trying to reach a consensus or show the dependent types are actually easier than normal type level programming in Haskell. The panakota he ate was excellent, 4 out of 5 stars.
Transcript
Play full episode
