|
|
|
|
|
|
by MaxBarraclough
2509 days ago
|
|
|
> at the extreme, you could have a language that always guarantees 100% correctness of safety properties by rejecting all programs To get at this from another angle: consider a buggy C program. It will always be possible to write a Rust program that behaves identically, even faithfully simulating the bugs. They're both 'just' Turing-complete languages, after all, and correctness depends on what program behaviour you want. |
|
|