Hacker News new | past | comments | ask | show | jobs | submit login

Yes, but the other ones already prevented:

- implicit type conversions errors

- memory allocations with incorrect size

- implicit decay of arrays into pointers

- lack of bounds checking for arrays

- null terminated strings with missing null character

- invalid pointers passed as argument for out parameters

- implicit conversion of integers into invalid enumeration values




Almost all of these are solvable without the added abstraction, code size increase that most languages bring, see dependent types.


Dependent types are great, but I fear not for the average programmer on the street, at least not on the current languages that make use of it.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: