|
You are here |
chrispenner.ca | ||
| | | | |
diogocastro.com
|
|
| | | | | ||
| | | | |
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... | |
| | | | |
vadosware.io
|
|
| | | | | Adventures in functional programming and simple web API servers | |
| | | | |
blog.darklang.com
|
|
| | | And their influence on Dark After two decades of coding professionally in a dozen languages, I've come to a conclusion about static and dynamic types: * Static types help you ensure that your changes work, especially for changes that span large parts of the program. This leads to long-term productivity | ||