|
|
|
|
|
|
by tycho01
3258 days ago
|
|
|
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. |
|
|