Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
galangalalgol
on Dec 25, 2023
|
parent
|
context
|
favorite
| on:
Interview about Austral, a systems programming lan...
I believe I read australs borrow checker is rusts old version, possibly verbatim?
crabmusket
on Dec 26, 2023
[–]
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...
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
