[Haskell-cafe] Re: [Haskell] Top Level <-
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
>> 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
John Meacham - ⑆repetae.net⑆john⑈
More information about the Haskell-Cafe