0:00 / 0:00
Edward Kmett - Undecidable Superclasses
Boston Haskell
1.1K subscribers • 18 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
- Presented by Edward Kmett
Advanced. Deep dive for people who know the field.
3.5K views10 years ago1 recommendation
Programming languagesHaskellLanguage design and type systems
Edward Kmett demonstrates how to use undecidable superclasses in GHC 8.0 to implement advanced type-level programming techniques.
Edward shows the Boston Haskell meetup group some of his GHC 8.0 toys. 2016.02.17