Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
Types and Kinds
(Uncensored)
subscribe
Dependent types in Haskell: Progress Report | Types and Kinds
https://typesandkinds.wordpress.com/2016/07/24/dependent-types-in-haskell-progress-report/
links
backlinks
It was drawn to my attention that there is an active Reddit thread about the future of dependent types in Haskell. (Thanks for the heads up, @thomie!) Instead of writing a long response inline in R…