Re: Separating algorithms from implementations (long)

fjh@cs.mu.OZ.AU (Fergus Henderson)
13 Sep 2000 20:20:05 -0400

          From comp.compilers

Related articles
[3 earlier articles]
Re: Separating algorithms from implementations (long) noelw@dai.ed.ac.uk (Noel Welsh) (2000-09-08)
Re: Separating algorithms from implementations (long) joachim_d@gmx.de (Joachim Durchholz) (2000-09-08)
Re: Separating algorithms from implementations (long) toon@moene.indiv.nluug.nl (Toon Moene) (2000-09-08)
Re: Separating algorithms from implementations (long) dara_gallagher@my-deja.com (Dara Gallagher) (2000-09-09)
Re: Separating algorithms from implementations (long) jthorn@galileo.thp.univie.ac.at (2000-09-09)
Re: Separating algorithms from implementations (long) dara_gallagher@my-deja.com (Dara Gallagher) (2000-09-13)
Re: Separating algorithms from implementations (long) fjh@cs.mu.OZ.AU (2000-09-13)
Re: Separating algorithms from implementations (long) nr@labrador.eecs.harvard.edu (2000-09-23)
| List of all articles for this month |

From: fjh@cs.mu.OZ.AU (Fergus Henderson)
Newsgroups: comp.graphics.algorithms,comp.compilers,comp.dsp
Date: 13 Sep 2000 20:20:05 -0400
Organization: Computer Science, University of Melbourne
References: 00-08-124 00-09-072
Keywords: design, functional

  >Toby Sharp <TSharp@Serif.com> wrote:
  >> We might be able to solve this problem if there were some way to
  >> describe algorithms apart from their implementations.


Dara Gallagher <dara_gallagher@my-deja.com> writes:
  >I think functional and logical languages come closest in this
  >regard. Unfortunately there are some disadvantages; space and time
  >complexity is very difficult to calculate for functional programs.
  >(This crops up on comp.lang.functional frequently.)


That's only true for _lazy_ functional programs.


  >However, there was a FPL (now defunct as far as I know) called
  >Sisal which apparently could challange and often outperform hand
  >crafted Fortran for various types of multiple processor and vector
  >architectures.


Note that Sisal was not lazy.
--
Fergus Henderson <fjh@cs.mu.oz.au> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger fjh@128.250.37.3 | -- the last words of T. S. Garp.


Post a followup to this message

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