Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Idris 0.9.15 released – partial evaluation and uniqueness types. Parent comment
Rust's move/ownership semantics are based on linear types, where as its lifetimes are based on regions. ATS has linear types, but not regions.
There are no comments on this comment yet.
Rust's move/ownership semantics are based on linear types, where as its lifetimes are based on regions. ATS has linear types, but not regions.