More Typing, Less Testing: TDD with Static Types, Part 2 | Heykuki News