0:00 / 0:00
#type-levelprogramming#haskell#typefamilies
Maciej Bielecki - Programs at the type level
Monadic Warsaw
1K subscribers • 8 videos on Hallway
- Recommended by 3 people: 1 on Lobsters and 2 in engineering communities.
- Presented by Maciej Bielecki
Advanced. Deep dive for people who know the field.
2K views9 years ago3 recommendations
Programming languagesSystems programmingHaskellCompilers and interpretersLanguage design and type systems
Maciej Bielecki demonstrates how to write programs entirely at the type level in Haskell and make them interact with the outside world.
Type-level programming is a feature frequently used by Haskellers. In this talk we'll take it to the extreme and write some programs using only computation at the type level. I will show how to make them talk to the outside world and present some testing techniques.Why it's here
3 people recommend thisWhat people say. Recommended as an interesting demonstration of building a web server entirely at the type level.