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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe