miniblog.

← Back to all posts
Excellent post on dependent types, why parametric polymorphism is good, and building inscrutable type checkers: