Impact of FPL's on OS design?

Article View: comp.lang.functional

Article #334

Back to comp.lang.functional Previous Next

#334

From: Glassy
Date: Wed, 11 Jul 1990 03:24

15 lines
1062 bytes

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

Technical Details

Message-ID: <2189@dali>

Path:

arc1-ca.pugleaf.net!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

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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