Dependent types

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

>>76
Most of these have nothing to do with programming languages themselves. Some of them in fact are physics related (van eck phreaking) or people related (social engineering). This thread is about dependent types solving bugs in software.

privilege escalation?
overflows? numeric underflows?
null pointer dereferencing? uninitialized/improperly initialized memory?
format string vulnerabilities? array indexing errors? mismatched array new/delete? stack overrun? unused values?
remote code execution?
iterator invalidation of mutable data structures leading to undefined behavior?
unhandled return codes?
return pointers to local variables? invalid use of negative values?
underallocations of dynamic data?

Yes, dependent types protect against these.

file handle leaks?
network resource leaks?
race conditions?

Pretty sure that you need linear types for these.

There are probably some that I missed.