[Haskell-cafe] yi or not to yi was: IDE?

[Creighton Hogg]

On 6/18/07, Andrew Coppin <andrewcoppin at btinternet.com> wrote:
>
> Creighton Hogg wrote:
> >
> >
> > On 6/18/07, *Andrew Coppin* <andrewcoppin at btinternet.com
> > <mailto:andrewcoppin at btinternet.com>> wrote:
> >
> >     That reminds me... Somebody should write an *OS* in Haskell! :-D
> >
> >
> > Well, there hasn't been a lot of work done on the subject but you
> > probably should look at
> > http://programatica.cs.pdx.edu/House/
> > Now if you're seriously asking how one would do it, the basic approach
> > taken in the paper was to create a monad H that was a controlled
> > subset of IO & that did all the fundamental interactions with the the
> > hardware.  The operations of H, as with IO, have to be primitives in
> > the runtime that you're using and probably written in C or assembly.
>
> I read about House once. It seemed too far-out to be true.
>
> OTOH, it's only a proof-of-concept system. I doubt it will ever become a
> real, usable system, sadly.


Well if no one works on it, that's kind of a given. :-P
But more seriously, what seems so far out about it?  I'm curious.
Also, if this thread of operating systems & functional programming isn't
interesting to other people then we should probably just take it to e-mail &
not the list.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20070618/204dfd40/attachment.htm