Explore >> Select a destination
|
You are here 
|
www.parsonsmatt.org | ||
| | | | |
aaronlevin.ca
|
|
| | | | | Data Families Make Types and Free Monads More Librarious At the end of my post Type Families Make Life and Free Monads Simpler I conjectured whether it would be possible to write a "CRUD" library... | |
| | | | |
serokell.io
|
|
| | | | | Learn about type families, one of the most powerful type-level programming features in Haskell. | |
| | | | |
gelisam.blogspot.com
|
|
| | | | | Edward Kmett recently posted a puzzling gist seemingly showing that at the type level, the () kind has more than one inhabitant. The goal ... | |
| | | | |
www.chriswarbo.net
|
|
| | | [AI summary] A discussion thread clarifying misconceptions about state, the IO monad, and functional purity in Haskell by explaining how the language represents imperative programs as pure data structures. | ||
