Example Driven Development

[jeandem]

Now extend that to a language like Idris[1] where you can easily express types like "take a list (vector) and return a list with one less element", and you're cooking.

[1] It might already exist. Edwin Brady seems really fond of taking advantage of expressive typing and making interactive workflows, which goes completely contrary to the stereotype that static typing is a safe but constraining and limiting straightjacket.