[Haskell-cafe] Re: [Haskell] Top Level <-

John Meacham john at repetae.net
Mon Sep 1 17:55:41 EDT 2008


On Thu, Aug 28, 2008 at 07:21:48PM -0400, Brandon S. Allbery KF8NH wrote:
>> OS provided one? What if you have an exokernel, where it is expected
>> these things _will_ be implemented in the userspace code. why  
>> shouldn't
>> that part of the exokernel be written in haskell?
>
> What's stopping it?  Just wrap it in a state-carrying monad representing 
> a context.  That way you can also keep multiple contexts if necessary 
> (and I think it is often necessary, or at least desirable, with most 
> exokernel clients).

That is exactly what I want to do, with the 'IO' monad. but I would like
the IO primitives to be implementable in haskell _or_ C transparently
and efficiently. It should not matter how the primitives are
implemented.

        John

-- 
John Meacham - ⑆repetae.net⑆john⑈


More information about the Haskell-Cafe mailing list