3 ms·
Rust language design does start from specifications, namely RFCs. What is being discussed here is producing a more formal specification than the ones that curre
by sunshowers 3y ago
Rust language design does start from specifications, namely RFCs. What is being discussed here is producing a more formal specification than the ones that currently exist.