Idris language encourages type-driven development, and can make guesses about holes in your program based on the types. I expect (and hope) we'll be seeing more

Idris language encourages type-driven development, and can make guesses about holes in your program based on the types. I expect (and hope) we'll be seeing more of that in programming in the future. It's not a silver bullet, but should definitely help.