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

On Mar 8, 2009, at 4:35 PM, John Carter wrote:

> 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.

If you search the archives of the group, you'll find that Linear
Logic has been discussed here many times.


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

I like the name ;-)


> 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.

I feel the same. In fact, my small contribution (as yet unreleased)
to concatenative languages is linear. At any given time, only one
reference to an object can exist.
--
don


> 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