logoalt Hacker News

andaitoday at 8:29 AM3 repliesview on HN

In my experience, what's actually nice is the correctness. The low-levelness is not helpful for most of the software I write, and imposes a constant burden.

Rust, of course superbly achieves its goals within its niche! But it is a niche, is my meaning here.

What I actually want is code that's correct, but ergonomic to write. So my ideal language (as strange as it sounds) would be Rust with a GC.

I don't want to worry about what string type I'm using. I want it to just work. But I want it to work correctly.

Lisette looks like it's in this exact category! It seems to combine the best aspects of both Rust and Go, which is a very promising endeavour. I'll have to take a proper look :)


Replies

mirekrusintoday at 10:13 AM

MoonBit [0] is the best/future complete/active “rust with gc”.

[0] https://www.moonbitlang.com

show 1 reply
akkad33today at 9:01 AM

You can use Ocaml today and achieve all the correctness

show 2 replies
gf000today at 8:42 AM

There are an endless number of modern MLs that do the same thing. That's not a novelty - Rust was novel in making it part of a low-level language.

show 1 reply