Dependent Types Discussion
The conversation delves into the complexities of integrating dependent types into mainstream programming languages like Haskell and Scala, highlighting the necessity for a new language designed from the ground up. The importance of maintaining existing functionalities while introducing innovative features poses significant challenges. Edwin emphasizes the ongoing research and excitement surrounding these developments, while also sharing an intriguing tidbit about the origin of the name "Idris."In this clip
From this podcast
Software Engineering Radio - the podcast for professional software developers
SE-Radio Episode 296: Type Driven Development with Edwin Brady
Related Questions