Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I 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.



Cyclone definitely had borrowing. See section 3.1 of this paper: 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.


It 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.


Absolutely 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. :)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: