Go is a nobrainer for the listed competition. TS has rich types, but a poor runtime. Theres pretty much no cons to static typing unless youre scripting or your language lacks inference / has types as an option only.