Hillel Wayne

Falsehoods Programmers Believe About Names – With Examples

Formal Verification

Functors, Applicatives, and Monads in Plain English

What is type safety?