Swift has a passable type system, support for generics, and doesn't use a VM. Tooling support isn't there for Linux currently, so the act of writing code isn't

Swift has a passable type system, support for generics, and doesn't use a VM. Tooling support isn't there for Linux currently, so the act of writing code isn't much better than Python (no Xcode-type autocompletion), but once you want to run it, the compiler will scream at you if you pass ducks where penguins are expected - while still allowing you to reason about swimming birds in general.