Hacker News Reader

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?

View on HN

Yes, 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...

Sure, 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.

Nit, but you also have to remove unsafeCoerce, some pointer stuff, and possibly a few other things.

Reply on news.ycombinator.com