On: GoKart: A static analysis tool for securing Go code

[still_grokking]

Scala Native probably.

But I've never used it so not sure how mature it is.

https://scala-native.org/

The other Go alternative I see is D.

Close to the metal but with high level features. Runs in a managed runtime. Creates native code.

https://dlang.org/

[noisy_boy → still_grokking]

Thanks for reminding me about D - I've always heard about it but never checked it out. Will try it out to see how it feels.

[pjmlp → noisy_boy]

Be prepared that D kind of struggles with having a small community, other than that, it is a very nice C# like language with systems programming capabilities and AOT compilation.

[pjmlp → still_grokking]

D is more than that, think of C# as version 1.0 should have been all along.