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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
