Tradeoffs of highly expressive types
Tradeoffs of highly expressive types
jnkr.tech
Tradeoffs of Highly-Expressive Types · Programming should be enjoyable
This is an attempt to unify a few threads around type safety that I’ve encountered and put a slightly different spin on them.