[Haskell-cafe] More on the random idea
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