Path: utzoo!utgpu!watserv1!watmath!att!bellcore!rutgers!usc!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!dali.cs.montana.edu!khan.cs.montana.edu!icsu8209
From: icsu8209@khan.cs.montana.edu (Glassy)
Newsgroups: comp.lang.functional
Subject: Impact of FPL's on OS design?
Message-ID: <2189@dali>
Date: 11 Jul 90 03:24:31 GMT
Sender: usenet@dali.cs.montana.edu
Organization: Montana State University, Dept. of Computer Science, Bozeman
Lines: 15


From my various readings (local resources, + this newsgroup), it
appears that one of major impacts of functional programming languages
has been, is, will be, to put the creation of programs on a more
mathematical (sounder? more provable?) basis.  Do any of the current
FPL's (scheme, haskell, SML, Miranda, Hope) venture yet into the
realm of OS implementation?  Are we doomed to suffer with C and its
progeny ad-in-#define-itum for the implementation of operating system
software?

Please e-mail your pensees, or post as you see fit ;)

Thanks
Lou Glassy
icsu8209@caesar.cs.montana.edu