Dependent types

So, why are you not using dependent types yet? Do you like your programs randomly crashing?

>>55
Someone did not read the thread, huh? See >>45

>>56
Whatever the programmer chose.

>>57
2. The programmer verifies that the input is correct and in such a case passes it to the function.