3 ms·
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!
by blub 9y ago
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!
- red75prime 9y agoOP hasn't said that it's the answer to the hardware problems as well.
- blub 9y agoOne 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.