4 ms·
I'm pretty sure Cyclone used both regions and borrowing in ~2005. But it was a research project and not meant for wide use.
by mkehrt 12y ago
I'm pretty sure Cyclone used both regions and borrowing in ~2005. But it was a research project and not meant for wide use.
- steveklabnik 12y agoI thought Cyclone only used regions, but I haven't read the paper in a while. (and dates from 2002 IIRC) It certainly had a big influence on Rust, we're fans of the work.
- mkehrt 12y agoIt looks like you're right. I had an undergrad senior thesis in 2006 that futzed around with regions and borrowing, and I know I read some papers on their interactions, but I'm not immediately finding anything chasing references. edit: Of course, I don't mean to diminish the accomplishments of Rust, which had turned these moving parts into a working language. In particular, Rust makes it easy to ignore these issues most of the time.
- steveklabnik 12y agoAbsolutely no diminish-ment taken. To put it in startup terms: other people working on your idea only validates it, it's not a threat. Execution is ultimately what matters. I prefer letting academia blaze the intellectual trail, and then have a number of people implement it after. :)
- cwzwarich 12y agoCyclone definitely had borrowing. See section 3.1 of this paper: https://www.cs.umd.edu/~mwh/papers/ismm.pdf https://www.cs.umd.edu/~mwh/papers/ismm.pdf. Generally speaking, every attempt to use substructural types for resource management in a practical language has allowed for temporarily treating a restricted resource as unrestricted.