|
|
|
|
|
|
by naasking
3267 days ago
|
|
|
A 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. |
|
|