My first job from university was (largely) working in SPARK. Nowadays, I'm mostly coding in JS, and am terribly, terribly missing so many of the language features that saved me from those runtime bugs.
Heck, even just the abstraction of package specs and DFA would resolve a large portion of the problems I encounter, let alone RTE freedom proofs!
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
My first job from university was (largely) working in SPARK. Nowadays, I'm mostly coding in JS, and am terribly, terribly missing so many of the language features that saved me from those runtime bugs.
Heck, even just the abstraction of package specs and DFA would resolve a large portion of the problems I encounter, let alone RTE freedom proofs!