>We need Anders to make one final language.
I do feel like there is a gap for a modern compiled, functional and garbage collected language.
Go isn't it because it lacks the functional constructs.
C# and Java aren't it because they depend on a VM.
Rust isn't it because of its difficult memory management.
Swift isn't it because it is so tied to Apple and their platforms.
What you are looking for is called F#. You get native interop with C# and access to all .NET/C# libraries as a bonus. We use it as a daily driver for a complex B2B2C cloud platform.
C# doesn't depend on a VM these days when it is AOT compiled. Same for Java, though C# is rather more user friendly in how it goes about it.
There are plenty of languages in that niche you could be using. OCaml, Haskell, F#...
Roc might be that language one day. Not yet because it's pre-0.1.
Kotlin has a LLVM backend, among others.
C#, with default tooling, can compile without needing a VM, for windows, macOS, linux and some other platforms.