i.i / #types

Nov 4, 2019

Type-And-Test Driven Development

I know what type-driven development is (didn’t say I’ve mastered it). I sort of get what is test-driven development, or even red-green-refactor. But can you do both at the same time? If you start with types, is there anything left of the green-red-refactor cycle? Or does that mean you write your tests post factum?

Reason types tdd

Aug 18, 2018

Types vs clever code

“If it’s hard to typecheck, it’s probably hard to understand.” — Jared Forsyth