Tech Talk: Idris, Proofs and Haskell with Edwin Brady
CoRecursive: Coding Stories
00:00
Why Do We Need Address?
Is there one single extension, or small number of extensions, that could capture all the ideas in haskell? "I think it's fantastic that all these things are coming into haskell. It sends funny to me to call haskell wider mainstream audience by yes" Haskell is significantly simpler than haskell with its first class types and lazy valuations. But i don't really feel like i'm adding anything, any new language features to do that.
Transcript
Play full episode
