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

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

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

It definitely is. I've spent a lot of time trying to make it usable,  
but it just isn't yet.

In my opinion, the way to make linear logic work is to do it in the  
context of a polytypic programming language. Writing functions to work  
efficiently on linear data structures is a huge pain, but if those  
functions could be *derived* from the specification of a data type,  
you'd be all set. I'm currently studying the work done on the Charity  
programming language which may provide some direction towards that goal.

- John