On 03/05/2011 09:20 PM, Darren New wrote:
> On 5/3/2011 12:52, Orchid XP v8 wrote:
>> I'm not sure what you're talking about.
>
> Like the IO part of the IO monad.
The type system doesn't prevent you "seeing" an IO value. You can pick
them up and move them around just like any other value. It's just that
you can't do a lot else with them. That's just how the API works;
nothing to do with the type system.
--
http://blog.orphi.me.uk/
http://www.zazzle.com/MathematicalOrchid*
Post a reply to this message
|