Re: Practicality of functional and logic languages?

nickh@CS.CMU.EDU (Nick Haines)
Thu, 14 Jan 1993 16:08:52 GMT

          From comp.compilers

Related articles
Practicality of functional and logic languages? benes@dcse.fee.vutbr.cs (Mirek Benes) (1993-01-11)
Re: Practicality of functional and logic languages? eifrig@beanworld.cs.jhu.edu (1993-01-12)
Re: Practicality of functional and logic languages? tobbe@erix.ericsson.se (1993-01-12)
Re: Practicality of functional and logic languages? maniattb@cs.rpi.edu (1993-01-12)
Re: Practicality of functional and logic languages? torbenm@diku.dk (1993-01-13)
Re: Practicality of functional and logic languages? hdev@dutiai.twi.tudelft.nl (1993-01-13)
Practicality of functional and logic languages? lock@karlsruhe.gmd.de (1993-01-14)
Re: Practicality of functional and logic languages? nickh@CS.CMU.EDU (1993-01-14)
Re: Practicality of functional and logic languages? joe@erix.ericsson.se (1993-01-14)
Re: Practicality of functional and logic languages? aet@mundil.cs.mu.OZ.AU (1993-01-15)
Re: Practicality of functional and logic languages? johnson@cs.uiuc.edu (1993-01-15)
Re: Practicality of functional and logic languages? glew@pdx007.intel.com (1993-02-03)
| List of all articles for this month |

Newsgroups: comp.compilers
From: nickh@CS.CMU.EDU (Nick Haines)
Organization: School of Computer Science, Carnegie Mellon University
Date: Thu, 14 Jan 1993 16:08:52 GMT
Keywords: functional, logic, architecture
References: 93-01-059 93-01-080

maniattb@cs.rpi.edu (Bill Maniatty) writes:
>Has there been research in creating architectural support for
>functional programming languages?


Well, there are (were) Lisp Machines, and there have been object-oriented
architectures. Probably your question is more closely answered by things
like the SKIM machine for hardware graph reduction.


In short, yes.


These machines tend to suffer from the same problems as Lisp Machines,
though: because the funding for development and implementation is many
orders of magnitude less than that for conventional architectures, it is
always better to wait a year and buy a conventional machine programmed to
imitate (say) a graph reduction machine.


      What about the power of the functional programming paradigm? Is there an
      important class of problem which cannot be done by Functional Programming?
      Could you write an Operating System using Functional Programming
      techniques for example?


Yes, you could. In fact, we are working on that here at CMU, extending SML
for doing OS work (in particular, comms suites and drivers). We're not
abandoning the paradigm (of course, purists might suggest that SML doesn't
really adhere to the functional language paradigm in any case).


You'd have more trouble with real-time software, but most languages have
trouble with that. The paradigm doesn't prevent you, you just need a
language (and a runtime) that can handle asynchronous events.


Nick Haines nickh@cmu.edu
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.