I made Try Haskell and purity and types are Haskell's whole thing, so technically I can teach the good stuff about Haskell without needing IO and threads and such. The security measure for disabling IO was to merely not run in the IO monad. Interestingly, there is a completely pure filesystem library for Haskell http://lambda-the-ultimate.org/node/1036 that I'm thinking of using, to demonstrate the difference between side-effectual and pure functions. I agree regarding the other two, security is a big problem for them. I'm trying to get a trylisp setup but many of the Lisp guys think it's fairly impossible to do a safe sandbox.
Comments
I made Try Haskell and purity and types are Haskell's whole thing, so technically I can teach the good stuff about Haskell without needing IO and threads and such. The security measure for disabling IO was to merely not run in the IO monad. Interestingly, there is a completely pure filesystem library for Haskell http://lambda-the-ultimate.org/node/1036 that I'm thinking of using, to demonstrate the difference between side-effectual and pure functions. I agree regarding the other two, security is a big problem for them. I'm trying to get a trylisp setup but many of the Lisp guys think it's fairly impossible to do a safe sandbox.