6 ms·
The sense of security is provided by a good test suite (which you still need) plus SBCL type annotations.
by ds9soft 2y ago
The sense of security is provided by a good test suite (which you still need) plus SBCL type annotations.
- dannyobrien 2y agoI've never managed to achieve that (the comparable sense of security), which may be on me. Out of interest, have you worked in one of these typed languages -- Haskell, Elm, maybe OCaml (haven't tried it), Idris, Rust? I think they feel very different in this axis compared to C/C++/Objective-C/Java. Not necessarily better (I am still reminded of the term "bondage-and-discipline language" from the Jargon File[1]), but different. [1]: http://www.catb.org/jargon/html/B/bondage-and-discipline-language.html http://www.catb.org/jargon/html/B/bondage-and-discipline-lan...