<br><br><div><span class="gmail_quote">On 6/18/07, <b class="gmail_sendername">Andrew Coppin</b> &lt;<a href="mailto:andrewcoppin@btinternet.com">andrewcoppin@btinternet.com</a>&gt; wrote:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Creighton Hogg wrote:<br>&gt;<br>&gt;<br>&gt; On 6/18/07, *Andrew Coppin* &lt;<a href="mailto:andrewcoppin@btinternet.com">andrewcoppin@btinternet.com</a><br>&gt; &lt;mailto:<a href="mailto:andrewcoppin@btinternet.com">andrewcoppin@btinternet.com
</a>&gt;&gt; wrote:<br>&gt;<br>&gt;&nbsp;&nbsp;&nbsp;&nbsp; That reminds me... Somebody should write an *OS* in Haskell! :-D<br>&gt;<br>&gt;<br>&gt; Well, there hasn&#39;t been a lot of work done on the subject but you<br>&gt; probably should look at
<br>&gt; <a href="http://programatica.cs.pdx.edu/House/">http://programatica.cs.pdx.edu/House/</a><br>&gt; Now if you&#39;re seriously asking how one would do it, the basic approach<br>&gt; taken in the paper was to create a monad H that was a controlled
<br>&gt; subset of IO &amp; that did all the fundamental interactions with the the<br>&gt; hardware.&nbsp;&nbsp;The operations of H, as with IO, have to be primitives in<br>&gt; the runtime that you&#39;re using and probably written in C or assembly.
<br><br>I read about House once. It seemed too far-out to be true.<br><br>OTOH, it&#39;s only a proof-of-concept system. I doubt it will ever become a<br>real, usable system, sadly.</blockquote><div><br>Well if no one works on it, that&#39;s kind of a given. :-P
<br>But more seriously, what seems so far out about it?&nbsp; I&#39;m curious.&nbsp; <br>Also, if this thread of operating systems &amp; functional programming isn&#39;t interesting to other people then we should probably just take it to e-mail &amp; not the list.
<br></div><br></div><br>