Earlier quoted context omitted.
> Infosec is hard. In computer security, you have to get it right every single time. The bad guys only need to get it right once.
What opinions does infosec in general have of correctness? What about languages like Haskell which focus on separating IO and pure functions?
until that's different it's harder to answer your actual question. my guess, it'll be better but inevitably still have some holes.