Re: [stack] stackless fixed-arity concatenative languages

John Nowak <[email protected]> Wed, 21 May 2008 04:15:32 -0400

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

On May 21, 2008, at 4:08 AM, John Nowak wrote:

> Another attempt was 'under [[apply dip]
> dip apply', but this gets the type 'A b b -> (A b -> A) -> A' which
> means you can only do things like '3 4 [pop] bi@' and hence it's
> rather useless.

Minor correction: The type is 'A b b (A b -> A) -> A'.

Too much curry.

- John