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

There is nothing automatic about compiler errors in lifetimes.

As for until Rust, Cyclone and ATS did it first.



Not sure if Cyclone and ATS don't predate it, but Rust's memory management is a bit like 1/3rd of Linear Lisp (specifically, the compil time garbage optimizer)


To be more precise, Rust uses affine types as basis for the borrow checker.

https://en.m.wikipedia.org/wiki/Substructural_type_system

Its biggest achievement is making them more well known to mainstream devs without CS background.




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

Search: