Re: [stack] Advantages of cat, joy ..?

On Feb 16, 2009, at 2:50 PM, William Tanksley wrote:

> John Nowak wrote:
>> 2. Stack-based concatenative languages are well-suited to a linear
>> implementation; see Henry Baker's "The Forth Shall Be First" paper. I
>> may, however, be the only one interested in this.
>
> You are not the only one; I've been interested in that since I read  
> it,
> way back in the mists of memory.

I may not be totally crazy then.

>> 3. First-order stack-based languages are well-suited to a graphical
>> representation once you apply a type discipline. This would mesh very
>> well with a linear implementation.
>
> I agree, although "type discipline" isn't as strictly important as
> static stack effects.

You're right; factor's stack inference would be enough provided you're  
willing to shrug when a definition can't infer. Nowadays though, it  
seems most things infer fine.

> It would be very interesting, also, to consider a few different ideas:

Interesting ideas!

- John