From mboxrd@z Thu Jan 1 00:00:00 1970 Date: Sun, 6 Sep 2009 08:29:34 -1000 From: Tim Newsham To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> In-Reply-To: <3e1162e60909052038j78af61c1m95c0db2a5bd66509@mail.gmail.com> Message-ID: References: <542783.92348.qm@web83904.mail.sp1.yahoo.com> <55D72913-15FB-415F-BE43-7D173E0AC449@storytotell.org> <7AAFE4127E1DB57785BB273A@192.168.1.2> <3e1162e60909052038j78af61c1m95c0db2a5bd66509@mail.gmail.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed Subject: Re: [9fans] nice quote Topicbox-Message-UUID: 66bb78fa-ead5-11e9-9d60-3106f5b1d025 > Well I can think of 3 operating systems written in Haskell now. One was an > executable specification for validating a secure L4 implementation. One is > hOp, and then there's also House, based on hOp. Keep in mind that House and hOp both used the ghc runtime (written in C) as a base. I would argue that this is most of the "OS". The seL4 spec is more like an operating system simulation than an operating system (or more accurately it is a spec that can be executed). I'm not familiar with the other projects you mention. Thank you, I'll check em out... > I've been writing a good bit of Haskell these days at work as well, mainly > due to the fact that it's possible to write some fairly sophisticated code > quickly, and even get pretty darned good performance out of it. I'm a big fan. Just want to make sure the hype isn't overblown. Tim Newsham http://www.thenewsh.com/~newsham/