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 2 days ago | parent | next [-]

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.

▲

int_19h 2 days ago | parent [-]

Most of those abstractions and baggage come from the need to be able to represent and propagate lifetime constraints, though.

	▲	throwawaymaths 2 days ago \| parent [-]
		proc macros? Optional?

▲

zozbot234 2 days ago | parent | prev [-]

Isn't ReasonML pretty much that language already? Although the most popular language in that broader niche is probably Golang.