Xref: utzoo comp.arch:17574 comp.compilers:1100 Path: utzoo!attcan!uunet!snorkelwacker!spdcc!ima!esegue!compilers-sender From: rwh@PROOF.ERGO.CS.CMU.EDU (Robert Harper) Newsgroups: comp.arch,comp.compilers Subject: Re: Algol, and language design Keywords: Algol60, design Message-ID: Date: 7 Aug 90 15:30:41 GMT References: <25630@cs.yale.edu> <58091@lanl.gov> <1990Jul26.024449.1777@esegue.segue.boston.ma.us> <1157.26bdc033@waikato.ac.nz> Sender: compilers-sender@esegue.segue.boston.ma.us Reply-To: rwh@PROOF.ERGO.CS.CMU.EDU (Robert Harper) Organization: Carnegie-Mellon University, CS/RI Lines: 19 Approved: compilers@esegue.segue.boston.ma.us 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 -- Send compilers articles to compilers@esegue.segue.boston.ma.us {spdcc | ima | lotus| world}!esegue. Meta-mail to compilers-request@esegue.