Re: Algol, and language design

rwh@PROOF.ERGO.CS.CMU.EDU (Robert Harper)
Tue, 07 Aug 90 15:30:41 GMT

          From comp.compilers
Related articles
Re: Algol, and language design ccc_ldo@waikato.ac.nz (1990-08-06)
Re: Algol, and language design rwh@PROOF.ERGO.CS.CMU.EDU (1990-08-07)
| List of all articles for this month |
Newsgroups: comp.arch,comp.compilers
From: rwh@PROOF.ERGO.CS.CMU.EDU (Robert Harper)
Keywords: Algol60, design
Organization: Carnegie-Mellon University, CS/RI
References: <25630@cs.yale.edu> <58091@lanl.gov> <1990Jul26.024449.1777@esegue.segue.boston.ma.us> <1157.26bdc033@waikato.ac.nz>
Date: Tue, 07 Aug 90 15:30:41 GMT

ccc_ldo@waikato.ac.nz (Lawrence D'Oliveiro, Waikato University) writes:


>Has anybody else noticed that call-by-name makes a certain amount of sense
>when you're expanding routine calls in-line? Think of macros that expand to
>generated code (or perhaps some intermediate form thereof), as opposed to
>more source code.


John Reynolds certainly has: his new language, Forsythe, is call-by-name, and
the compiler makes heavy use of this property. In fact, the default is to
open-code all procedures, with closed-coding forced only when recursion is
involved.
--
Robert Harper
School of Computer Science Net: rwh@cs.cmu.edu
Carnegie Mellon University Phone: +1 412 268 3675
Pittsburgh, PA 15213
--

Post a followup to this message

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