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

2006-06-16 Thread Bulat Ziganshin
Hello Jaap, Friday, June 16, 2006, 7:27:32 PM, you wrote: > I like Haskell a lot, but I chose to use OCaml for this work because > the practicalities of porting the compiler were a little easier to > manage. GHC would be rather harsh on the fairly primitive MINIX memory > management system, altho

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

2006-06-16 Thread Jaap Weel
> It is irreleveant what language these services are written in, so > long as they obey the protocol. This is most likely true. I have written an interface using the OCaml FFI to be able to call the MINIX message passing functions from within an OCaml program. It's doesn't work completely just yet

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

2006-06-08 Thread Isaac Jones
Joel Reymont <[EMAIL PROTECTED]> writes: > On Jun 2, 2006, at 5:41 PM, [EMAIL PROTECTED] 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.

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

2006-06-02 Thread Greg Buchholz
Joel Reymont wrote: > > 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.

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

2006-06-02 Thread Joel Reymont
On Jun 2, 2006, at 5:41 PM, [EMAIL PROTECTED] 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] A road for Haskell into the kernel of a full-fledged OS

2006-06-02 Thread oleg
I'm attending a USENIX conference and just had a nice talk with Andrew Tanenbaum. As some may know, he's working on the new version of Minix, Minix3. It is actually working, now with the X windows interface: http://www.minix3.org Andrew Tanenbaum said that it is important for a l