Home » forums » LtU Forum

Linear Types vs. Uniqueness Typing

Having a limited understanding of type theory, a question popped into my head. Linear types and Uniqueness seem to having a large number of striking similarities, but I imagine they are different in a few ways.

Can someone help me understand the trade-offs when using one or the other (or can one use both?) in the development of programming languages? This of course could range from the difficulty of implementation, to expressiveness, to efficiency.

Best regards,

MJ Stahl

By mjstahl at 2006-06-08 01:46 | LtU Forum | previous forum topic | next forum topic | other blogs | 11483 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

Dana Harrington's thesis

You may be interested in Dana Harrington's thesis. He compares uniqueness and linear typing in one of the first chapters. I'm not sure that this is the advice you're looking for, but it might give you some theoretical background.

By Wouter Swierstra at Thu, 2006-06-08 08:57 | login or register to post comments

Link no longer there

Can this information be found somewhere else? Can somebody summarize the
difference here (preferably in simple words)?

By kaimmaNaLavu at Fri, 2007-01-12 11:34 | login or register to post comments

URL is broken, available on

URL is broken, available on archive.org: http://web.archive.org/web/*/http://pages.cpsc.ucalgary.ca/~danaha/uniqueness-types.ps

By shaurz at Tue, 2007-01-16 11:32 | login or register to post comments

Thanks

Nice find. I had tried Google and came up empty. I didn't know that archive.org stored PostScript files. Good to know.

By Jeff Nowakowski at Wed, 2007-01-17 17:17 | login or register to post comments