Hacker News new | ask | show | jobs
by Conscat 1149 days ago
Have you tried Vale or Lobster though? Research in memory management semantics is a lot more sophisticated than you might think.
1 comments

Everybody is trying to make a more user-friendly Rust. The problem is that it is not clear yet whether that's possible, and if it is, how it may look. I know Vale and have tried it, though it's extremely early to judge anything so far. It does have a much stronger theoretical background than V, but even the theory is not completely clear at this point.

There is also Carp by the way: https://github.com/carp-lang/Carp