More Typing, Less Testing: TDD with Types, Part 1spin.atomicobject.com3 pointssilentbicycle12 years ago