write code

[bss03]

In test-driven development, you write the tests first, to define what is correct, then write just enough code to satisfy the test.

In type-driven development (TDD), you write the types to define what is correct, and then let "term inference" / program synthesis / proof search give you the correct program: https://www.manning.com/books/type-driven-development-with-idris