[stack] Paging Mr Diggins... Linear Logic and Permutation Stacks.

John Nowak rightly calls for Chris Diggins' insight on this entry over
at LtU..

   http://lambda-the-ultimate.org/node/3227

I'd be interested in his, and more generally, the response of this
group to the (potential) relationship between Linear Logic and
concatenative languages.

Linear Logic, or what I call, "Reference Counting on the Fingers of
one Thumb" has been a favourite of mine for years.

From a human level perspective it's just _so_ appealing.

In kindergarten if I gave you the ball, you had the ball, and I no
longer had the ball.

It's just such an intuitive wired in view of the world we have. I bet
a Linear Logic language would lose a vast multitude of bugs that
plague programs written in other more complex languages.

Couple that with the many Good Things about concatenative languages...


John Carter                             Phone : (64)(3) 358 6639
Tait Electronics                        Fax   : (64)(3) 359 4632
PO Box 1645 Christchurch                Email : [email protected]
New Zealand