Comment by throwawaymaths
5 months ago
this is kinda the opposite of what i think people really want. they want an LLL with borrow checking without all of the abstractions and baggage you get in rust.
5 months ago
this is kinda the opposite of what i think people really want. they want an LLL with borrow checking without all of the abstractions and baggage you get in rust.
Most of those abstractions and baggage come from the need to be able to represent and propagate lifetime constraints, though.
proc macros? Optional?
I would agree with macros, but I'm pretty sure that people who want borrow checking are not the ones who'd describe optionals as "baggage".