This is quite wishy-washy but in my experience the magic of type driven development is feeling like you’re working with the computer. You can achieve this with

This is quite wishy-washy but in my experience the magic of type driven development is feeling like you’re working with the computer. You can achieve this with other languages (e.g. Smalltalk), but many of the most popular languages feel more like inanimate tools (some very good ones!).