| ▲ | mort96 3 months ago | |
Sounds like unnecessary complexity which makes it more error prone. | ||
| ▲ | cryptonector 3 months ago | parent | next [-] | |
> Sounds like unnecessary complexity which makes it more error prone. No! On the contrary, it makes it less error prone. Any time you formalize what would have been English (or French, or...) text things get safer, not riskier. | ||
| ▲ | cryptonector 3 months ago | parent | prev [-] | |
That's like saying that Rust is unnecessary complexity over C... | ||