Dependent types

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

>>2
Thinking about or in terms of Java is painful.

>>3
Internet explorer does not work on Debian.

>>4

and a crash is what I need to determine something has gone wrong.

Dependent types help you find logical errors in your program, such as divisions by 0 and possible out of bounds accesses. Why would you need to wait until runtime in order to find a bug in your program? There are many released and supposedly stable programs in production that have passed testing and still have all kinds of bugs (including security bugs) that could have been prevented by dependent types.