3 ms·
I'm not sure what's supposed to be especially weird about linear typing (or rather, uniqueness typing which is what Rust ultimately relies on). If you want to
by zozbot234 2y ago
I'm not sure what's supposed to be especially weird about linear typing (or rather, uniqueness typing which is what Rust ultimately relies on). If you want to see the use of such types in a language that's clearly even less "convenient" and more principled than Rust, you can look at Austral https://austral-lang.org/ https://austral-lang.org/
- benreesman 2y agoI think I’m going to be a hard pass on a language more militant about BDSM type system level memory management than Rust.
- deleted 2y ago[deleted]
- farmeroy 2y agoIs their code linter called whippy?