From a pure language perspective, not taking into account infrastructure and implementation, Vlang is currently my favorite language. It has pretty much the syntax and semantics I want in a statically compiled, strongly typed language. However, there are still too many features of the current implementations that are in reality not yet implemented or too experimental. It's still not ready for production and larger projects.
I'd say the languages you mention are substitutes according to the following mapping:
I'd say the languages you mention are substitutes according to the following mapping: