Rust's Culture of Semantic Precision(alilleybrinker.com)
alilleybrinker.com
Rust's Culture of Semantic Precision
https://www.alilleybrinker.com/mini/rusts-culture-of-semantic-precision/
3 comments
I find personally that this is the biggest advantage of Rust for the kind of code I write. Memory safety is great and all, but an aggressive GC would do just fine for what I tend to work on.
But the culture around Rust is such that libraries on average tend to be of much higher quality - more correct, better APIs, more assumptions encoded into the type system rather than punted to runtime, etc.
But the culture around Rust is such that libraries on average tend to be of much higher quality - more correct, better APIs, more assumptions encoded into the type system rather than punted to runtime, etc.
This is shared with languages from ALGOL linage like Ada, Object Pascal, Modula-2 and others.
Hence why from C culture point of view they used to be referred to as programming with straightjacket.
An insight into this be read on books like "The School of Niklaus Wirth" or "Building High Integrity Applications with SPARK".
Hence why from C culture point of view they used to be referred to as programming with straightjacket.
An insight into this be read on books like "The School of Niklaus Wirth" or "Building High Integrity Applications with SPARK".
https://lowendbox.com/blog/nontechnical-nonsense-rust-stirs-...