|
|
|
|
|
|
by jamii
449 days ago
|
|
|
I don't think Austral uses second-class references. Even the page you linked says: > But is it worth it? Again, the tradeoff is expressivity vs. simplicity... Austral’s linear types and borrowing is already so simple. Austral’s equivalent of a borrow checker is ~700 lines of OCaml. The only downside of Austral is right now you have to write the lifetimes of the references you pass to functions, but I will probably implement lifetime (region) elision. |
|
|