Dependent types

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

>>5
if you can't explain it to someone who isn't familiar with it, you don't really understand it yourself

I didn't say you have to explain it in terms of java, just that I am not familiar with languages that use dependent types