4 ms·

It’s also funny how they invite experts on the Rust borrow checker, having previously explicitly declined to add generics. If they bothered to actually try the

It’s also funny how they invite experts on the Rust borrow checker, having previously explicitly declined to add generics. If they bothered to actually try the language, they’d realise that Rust borrow checking requires much of the same type algebra machinery that generics also use, so if they’d went through with it, they’d be implementing half of generics support anyway… Honestly, I kind of expect them to walk back on the borrow checker promise for that reason alone.

ddevault 4y ago
We're well aware of the relationship between borrow checking and generics in Rust and, though it may rule it out for Hare, I do not think that we need generics or anything like it to obtain most of the value-add of a borrow checker.
turminal 4y ago
Avoiding tons of complexity in the compiler is just one of the reasons why Hare doesn't have generics, and a borrow checker may be a sufficiently compelling reason to introduce some of the that, while generics themselves are not.