Login
Roast topics
Find topics
Find it!
From:
Types and Kinds
(Uncensored)
subscribe
Defunctionalization for the win | Types and Kinds
https://typesandkinds.wordpress.com/2013/04/01/defunctionalization-for-the-win/
links
backlinks
Tagged with:
code
haskell
singletons
type families
Roast topics
Find topics
Roast it!
I enjoy using a type system to help make sure my term level code is unimpeachably correct. This is where my interest in writing the singletons library came from. This library allows you to write so…
