Re: [Haskell-cafe] More on the random idea

On Sat, May 26, 2007 at 10:59:10AM +0100, Andrew Coppin wrote:

However, when you consider that the result type could be "IO ()" or "IO String" or "IO [Either (Maybe Int, (String, Bool)) [Either (Int -> String) (Complex Integer)]]", and the expression itself may well contain the "::" sequence... you see we have a nontrivial parsing task here! (Get the parsing wrong and somebody might be able to do Evil Things to the box.)

I think the easiest way to handle this would be to use the module system. just write a custom prelude that exports everything but 'IO' and don't allow arbitrary 'imports'. John -- John Meacham - ⑆repetae.net⑆john⑈