[Haskell-cafe] More on the random idea

John Meacham john at repetae.net
Mon Jun 11 13:56:25 EDT 2007

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 Meacham - ⑆repetae.net⑆john⑈

More information about the Haskell-Cafe mailing list