3 ms·
I thought Haskell has unsafePerformIO? It's been twenty years since I learned any Haskell though! Bluefin looks cool but seems like by itself it's not a sandbo
by mike_hearn 1y ago
I thought Haskell has unsafePerformIO? It's been twenty years since I learned any Haskell though!
Bluefin looks cool but seems like by itself it's not a sandboxing system? Or where do you specify fine grained permissions with it?
- tome 1y agoYes, Bluefin is not a "high assurance system" in that regard. However, there is "Safe Haskell" which provides something along those lines. It is not widely used though. https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/safe_haskell.html https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/safe...
- cryptonector 1y agoSure, remove unsafePerformIO and you have a sandboxable language. THe point isn't that Haskell doesn't have an escape hatch. The point is that -as usual :)- Java is borrowing Haskell's best ideas [decades later :)]. It's a good thing.
- dllthomas 1y agoNit, but you also have to remove unsafeCoerce, some pointer stuff, and possibly a few other things.