Re: Partial evaluation in imperative languages.

Cliff Click <cliffc@risc.sps.mot.com>
2 Jun 1997 10:30:26 -0400

          From comp.compilers
Related articles
Lots of things are happening with ACM TOPLAS toplas@cs.umd.edu (1997-03-31)
Partial evaluation vs flow-graph analysis fabre@gr.osf.org (Christian Fabre) (1997-05-22)
Re: Partial evaluation vs flow-graph analysis mossin@diku.dk (1997-05-25)
Re: Partial evaluation vs flow-graph analysis thorn@spamblock.lalla.irisa.fr (Tommy Thorn) (1997-05-27)
Partial evaluation in imperative languages. cef@geodesic.com (Charles Fiterman) (1997-05-30)
Re: Partial evaluation in imperative languages. monnier+/news/comp/compilers@tequila.cs.yale.edu (Stefan Monnier) (1997-05-31)
Re: Partial evaluation in imperative languages. cliffc@risc.sps.mot.com (Cliff Click) (1997-06-02)
Re: Partial evaluation in imperative languages. cef@geodesic.com (Charles Fiterman) (1997-06-04)
Re: Partial evaluation in imperative languages. volanski@irisa.fr (1997-06-10)
| List of all articles for this month |
From: Cliff Click <cliffc@risc.sps.mot.com>
Newsgroups: comp.compilers,comp.lang.functional
Date: 2 Jun 1997 10:30:26 -0400
Organization: RISC Software, Motorola
References: 97-03-165 97-05-254 97-05-275 97-05-301 97-05-322
Keywords: forth, optimize

Charles Fiterman wrote:
>
> I think for partial evaluation to be useful in an imperative language
> there must be language constructs to support it. I am experimenting
> with this notion and we have the following.
>
> mac
> Do this now regardless. mac date; is the compile date. On a function
> it means this is run at compile time. On a variable makes this a compile
> time variable.
>
> run
> Defer as far as possible, do at run time. May be put on a function
> but may be overridden at compile time. This is the default for variables.


Sniff, sniff. Smells like Forth (with types).
Forth writers have been intermixing run-time with compile-time
since the '60s ('50s? When did Chunk Moore get started?).


Cliff
--
Cliff Click, Ph.D. Compiler Researcher & Designer
RISC Software, Motorola PowerPC Compilers
cliffc@risc.sps.mot.com (512) 891-7240
[Chunk? Don't you mean Thunk? -John]




--

Post a followup to this message

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