Also, https://www.val-lang.dev/ https://www.val-lang.dev/ seems more interesting. And http://www.jot.fm/issues/issue_2022_02/article2.pdf http://www.jot.fm/iss

Also, https://www.val-lang.dev/ https://www.val-lang.dev/ seems more interesting. And http://www.jot.fm/issues/issue_2022_02/article2.pdf http://www.jot.fm/issues/issue_2022_02/article2.pdf > Safe by default: Val’s foundation of mutable value semantics ensures that ordinary code is memory safe, typesafe, and data-race-free. By explicit, auditable opt-in, programmers can use unsafe constructs for performance where necessary, and can build safe constructs using unsafe ones. Versus Carbon: > Carbon's premise is that C++ users can't give up performance to get safety. https://github.com/carbon-language/carbon-lang/blob/trunk/docs/design/README.md#safety https://github.com/carbon-language/carbon-lang/blob/trunk/do...