3 ms·
It's not clear to me. Give me some proof and I'll change my mind. A scientific study, a case study, a statistical analysis, anything other than theory. Haskell
by PopeOfNope 11y ago
It's not clear to me. Give me some proof and I'll change my mind. A scientific study, a case study, a statistical analysis, anything other than theory.
Haskell's strict typing system and theoretically correctness was supposed to lead to better code as well. I used xmonad for a few years. It crashes just as much as any other window manager.
- pcwalton 11y agoThe number of memory safety problems in memory-safe languages is much, much lower than in non-memory safe ones. Look at the classes of vulnerabilities in, say, Ruby programs and compare them to the number of memory safety-related security vulnerabilities in, for example, Firefox. I have actually analyzed this and memory-safety-related problems in Firefox are the majority of critical security vulnerabilities.
- PopeOfNope 11y agoThe number of memory safety problems in memory-safe languages is much, much lower than in non-memory safe ones Citation? I have actually analyzed this and memory-safety-related problems in Firefox are the majority of critical security vulnerabilities. Cool. That means you can provide actual numbers and statistics... right?