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

OP said "Type systems to me seem to be (I'm not exaggerating) the answer to all software reliability problems (barring social ones)."

Pay attention, please!




OP hasn't said that it's the answer to the hardware problems as well.


One needs to consider the safety of the system as a whole in order to build a safe system.

Leaving aside social problems for instance is a bit like saying that one can build perfect software, with the small issue that it can't be used by humans.

Leaving aside hardware is even more suspicious, because the two are inseparable in a system.




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

Search: