3 ms·
I think there is room for an ML with a modern toolchain story that just omits Rust's borrow checker and does something more boring. Typescript and Rust have pri
by debo_ 1y ago
I think there is room for an ML with a modern toolchain story that just omits Rust's borrow checker and does something more boring. Typescript and Rust have primed a large number of developers to be open to it.
- throwawaymaths 1y agothis 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.
- int_19h 1y agoMost of those abstractions and baggage come from the need to be able to represent and propagate lifetime constraints, though.
- throwawaymaths 1y agoproc macros? Optional?
- int_19h 1y agoI 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".
- zozbot234 1y agoIsn't ReasonML pretty much that language already? Although the most popular language in that broader niche is probably Golang.