Dependent types

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

>>74

https://www.exploit-db.com/
https://www.cvedetails.com/

All I see are bugs in software written in C and Java, neither of which have dependent types.

which is not the case

What makes you think that in this specific case?