[Haskell] A road for Haskell into the kernel of a full-fledged OS

[Isaac Jones]

Joel Reymont <joelr1 at gmail.com> writes:

> On Jun 2, 2006, at 5:41 PM, oleg at pobox.com wrote:
>
>> It is quite instructive to compare a device driver in Haskell
>> with the original C driver -- it terms of length, speed, time to
>> write, number of bugs, etc.
>
> I think this is an awesome idea. I believe the folks at Galois have
> customized the Haskell runtime for embedded devices but... I wonder
> if us mere mortals will spend more time fighting laziness (and thus
> high memory usage) than focusing on driver functionality.

Another interesting Galois-related low-level project is the Halfs
filesystem:

http://www.haskell.org/halfs/

Oleg, did you happen to mention this to Andrew Tanenbaum?  Do you
think he'd be interested in looking at it?  Should I drop him a line?


peace,

  isaac