[rust-dev] Typestate 2.0 ?

David Rajchenbach-Teller dteller at mozilla.com
Fri Jan 6 06:55:41 PST 2012


If we wish to look at alternative type-checking mechanisms, linear 
typing might be a good candidate. Some variants of linear typing cover 
(small) subsets of dependent types (e.g. Camelot), other variants 
guarantee that garbage-collection is unrequired (e.g. LinearML).

I know members of both teams, so if there is interest, I could try and 
set up a seminar/brownbag.

Cheers,
 David

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: OpenPGP digital signature
URL: <http://mail.mozilla.org/pipermail/rust-dev/attachments/20120106/0dd9b9c2/attachment.bin>


More information about the Rust-dev mailing list