Comment by dhbradshaw
9 hours ago
I'd argue for moonbit -- faster compile times, almost as fast, smaller wasm artifacts and like lean can have proof of correctness built in.
9 hours ago
I'd argue for moonbit -- faster compile times, almost as fast, smaller wasm artifacts and like lean can have proof of correctness built in.
what the point? Rewriting in Rust is not just a language change. Rust enforces designing systems in secure way to start with, not just memory safety.
For me last nail into becoming part of the crowd was Embassy. Whole my life I wrote some ad-hoc C microcontroller stuff. But just learning Embassy I realized that it could've been done much more elegantly and securely. If you have a spare moment, I would watch videos in this channel, old to new:
https://www.youtube.com/@therustybits/videos
I've been using rust since 2017 and still code in it professionally and am a fan.
Moonbit is pretty cool too so I thought I'd mention it for other people who like cool things.