Re: [stack] Re: Barebone implementation of concatenative language in c or c++

John Nowak <[email protected]> Sun, 25 Jul 2010 18:29:14 -0400

Newsgroups	gmane.comp.lang.concatenative
Message-ID	<[email protected]>

On 2010.07.25, at 10:45 AM, William Tanksley, Jr wrote:

> John Nowak <[email protected]> wrote:
> 
>> You'd still need some way to parameterize functions
>> by other functions even if functions aren't available as
>> data at runtime. OBJ is an excellent example of how
>> to do parameterized programming without first-class
>> functions.
> 
> I'm curious... How is OBJ an excellent example of that? It sounds like
> a useful property!

It's just parameterized modules a la Ada or ML. The values of the parameters can be resolved statically; module instantiation essentially happens before the program is run.

This should help:
http://cseweb.ucsd.edu/~goguen/pps/utyop.ps

- jn