3 ms·
"Practical" is the key word here, I believe.
by bykovich2 9y ago
"Practical" is the key word here, I believe.
- naasking 9y agoA key word that had been disproven many times. The most recent example is Rust, which has a type checker that now type checks many previously unsafe C++ idioms. The other examples I listed are also quite practical, and have been used in high assurance systems.
- deleted 9y ago[deleted]