3 ms·
What opinions does infosec in general have of correctness? What about languages like Haskell which focus on separating IO and pure functions?
by codygman 13y ago
What opinions does infosec in general have of correctness? What about languages like Haskell which focus on separating IO and pure functions?
- tripzilch 13y agowell it gives the advantage that (used to?) keep desktop-Linux clear of most viruses: it's too little a fish for blackhats to go after. until that's different it's harder to answer your actual question. my guess, it'll be better but inevitably still have some holes.
- codygman 13y agoI specifically what infosec (or anyone involved in the industry) thought of separating pure and impure functions which affect the outside world. It seems to me that it would drastically reduce the surface areas of attack.