Article View: comp.lang.functional
Article #625Re: Unique types etc.
From: Karl-Filip Faxen
Date: Fri, 02 Oct 1992 08:33
Date: Fri, 02 Oct 1992 08:33
19 lines
1271 bytes
1271 bytes
Hello!
Unique types seem related, if not identical, to what Phil Wadler
calls "linear types". His (and others) work is (as far as I know)
based on Girard's linear logic, in which assumptions must be used
exactly once. Thus the type checker guarantees that variables with
linear types are used exactly once. The major application so far
seems to have been the array update problem (guaranteeing that
arrays are used in such a way that array update can safely be
implemented without copying).
So, are unique types the same as linear types?
Curious cheers,
Karl-Filip
------------------------------------------------------------
Make the frequent case fast, and the fast case frequent!
Technical Details
Message-ID:
<1992Oct2.083300.20958@kth.se>Path:
arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!kth.se!dentex.tds.kth.se!kffReferences:
<BvG3I3.B2M@sci.kun.nl>Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.functional Path: arc1-ca.pugleaf.net!sparky!uunet!mcsun!sunic!kth.se!dentex.tds.kth.se!kff From: kff@dentex.tds.kth.se (Karl-Filip Faxen) Subject: Re: Unique types etc. Message-ID: <1992Oct2.083300.20958@kth.se> Keywords: Unique types, linear types, linear logic Sender: usenet@kth.se (Usenet) Nntp-Posting-Host: dentex.tds.kth.se Reply-To: kff@dentex.tds.kth.se (Karl-Filip Faxen) Organization: Royal Institute of Technology, Stockholm, Sweden References: <BvG3I3.B2M@sci.kun.nl> Date: Fri, 2 Oct 1992 08:33:00 GMT Lines: 19