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⑈
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
