Talk About Network

Google


Register and Login
Nick
Password
Register create new account Sign up is FREE and you can post replies, new topics, bookmark posts and more!
Recover lost password


Programming > Functional > Re: cool rant o...
Latest [ Topics | Posts ] Archive Post A New Topic Post a Reply
<< Topic < Post Post 7 of 7 Topic 2748 of 2912
Post > Topic >>

Re: cool rant on linear objects

by stephen@[EMAIL PROTECTED] (Stephen J. Bevan) Jan 30, 2008 at 04:22 AM

Paul Rubin <http://phr.cx@[EMAIL
PROTECTED]
> writes:
> 'Use-Once' Variables and Linear Objects -- Storage Management,
> Reflection and Multi-Threading
> Henry G. Baker
> ACM Sigplan Notices 30, 1 (January 1995), 45-52.
> http://home.pipeline.com/~hbaker1/Use1Var.html
> ================
> I just came across this.  I would have thought it is well known (maybe
> it is), but I've never seen it before, and probably have not seen it
> referenced anywhere (since I would have looked at it).

It has been referenced, but not much.  That may be because it wasn't
the first paper on linearity in programming languages, it didn't
address how a static type system would enforce linearity and it only
hinted at dealing with it dynamically via pointer bits.  Without
either of these you have the equivalent of C programs with explicit
malloc/free.  C programs contain plenty of linear objects,
unfortunately if you make a mistake with the linearity you typically
get a SIGSEGV/SIGBUS or a corrupted heap :-<  Consequently papers
about linearity more commonly try to create a static type system that
can enforce linearity without egregious limits on what you can write.
Various examples can be found at
http://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html.
 




 7 Posts in Topic:
cool rant on linear objects
Paul Rubin <http://phr  2008-01-27 02:21:51 
Re: cool rant on linear objects
Joachim Durchholz <jo@  2008-01-27 12:13:43 
Re: cool rant on linear objects
Florian Weimer <fw@[EM  2008-01-27 12:36:16 
Re: cool rant on linear objects
Joachim Durchholz <jo@  2008-01-27 16:46:21 
Re: cool rant on linear objects
torbenm@[EMAIL PROTECTED]  2008-01-28 13:22:24 
Re: cool rant on linear objects
George Neuner <gneuner  2008-01-28 22:17:43 
Re: cool rant on linear objects
stephen@[EMAIL PROTECTED]  2008-01-30 04:22:38 

Post A Reply:
  Go here to Signup

AddThis Feed Button


About - Advertising - Contact - Frequently Asked Questions - Privacy Policy - Terms of Use - Signup

Contact
tan12V112 Fri Jul 25 22:31:41 CDT 2008.