Programming should be enjoyable
follow: @jnkr.tech/@rss.social
Tradeoffs of highly-expressive types
Extensible TypeScript with Object Algebras
Bridging the Object-Oriented and Functional Divide with the Visitor pattern
The Church and Scott Encodings of Algebraic Data Types
The Church Encoding of Simple Algebraic Data Types
An Introduction to Algebraic Data Types
Abstract Data Types and Objects
My Medium blog
The Problem with "Overengineering"