TDD as in Type-Driven Development 2015 - 2018

Test-Driven Development is widely accepted as good practice. But can we do better? By specifying your program's behaviour with types, you can go a very long way, with more confidence and with less hassle than with tests.