Re:Is Haskell a good choice for software security?
by AnimalMuppet on Friday December 17, 2021 @12:12PM
(#29595067)
You might - might - be able to create those same bugs in Haskell. But you'd probably have to deliberately try. (They might be impossible even if you deliberately try to create them.)
Re:Is Haskell a good choice for software security?
by the_af on Friday December 17, 2021 @12:43PM
(#29595528)
You might indeed, but you'd have to go out of your way. Whereas with Python I write those bugs as easily as I breathe. Maybe I'm just a bad programmer; static types are definitely good for those like me. If that's not a practical, non-ivory tower reason to prefer Haskell, I don't know what is!
Re:Is Haskell a good choice for software security?
by AnimalMuppet on Friday December 17, 2021 @01:54PM
(#29596618)
Yeah. My memory's not good enough to not use static types.
At least the preference of Haskell vs Python is easy to justify: Haskell has a top-of-class static typing system and Python doesn't, which if you believe static types lead to better code (which I do), makes it clear why you'd prefer former. Whole classes of mistakes which are easy to create inadvertently using Python simply go away (or are very difficult to commit) using Haskell. If you care about code that is correct and with fewer bugs (on a continuum, of course) then that's your justification.