Hello,
As you are functional programming lovers and interested in bringing a
better visibility to this idea :
http://www.haskell.org/pipermail/haskell/2006-June/018045.html
I invite you to join us here :
http://lists.gnu.org/archive/html/l4-hurd/
Best Regards,
Guillaume FORTAINE
Here is my last message :
Hello Mr Walfield,
Here are very interesting links :
http://www.cs.mu.oz.au/research/mercury/information/related.html
http://maude.cs.uiuc.edu/tools/scc/
http://www.verisoft.de/.rsrc/PublikationSeite/PaulVSTTE05-final.pdf
I believe that the *main* problem for HURD will not be the design or
something else. It would be the adhesion of a large community to a
well-defined language. It's clear that the best option would be to get
rid of C ... :-) .
http://tunes.org/Tunes-FAQ.html#toc2.3
Here is my point of view Language ( Mix of Mercury/Clean/Bitc ???) =>
Kernel ( coyotos )=> OS ( compiler : Bitc ( verified compiler )?,
replacement of glibc, device driver framework :
http://symbolx.org/ddf.html ).
As the L4 kernel has no more leader, and the community doesn't seem to
be very reactive, the only suitable alternative is the coyotos project.
A good start point is the HOuse project :
HOuse : http://www.cse.ogi.edu/~hallgren/House/
Best Regards,
Guillaume FORTAINE
_______________________________________________
debian-haskell mailing list
[email protected]
http://urchin.earth.li/mailman/listinfo/debian-haskell
