Hacker News new | past | comments | ask | show | jobs | submit login

That sounds very similar to Rust. Mutations and even memory lifetime are specified in the type system.



Consider applying for YC's Spring batch! Applications are open till Feb 11.

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

Search: