Y
Hacker News
new
|
ask
|
show
|
jobs
by
galangalalgol
905 days ago
I believe I read australs borrow checker is rusts old version, possibly verbatim?
1 comments
crabmusket
905 days ago
I haven't seen anything like that. I don't think Rust ever had linear types. This blog post has an explanation of Austral's linear type checking:
https://borretti.me/article/how-australs-linear-type-checker...
link
https://borretti.me/article/how-australs-linear-type-checker...