Imagine
Scala with fast compilation/start time, optional dynamic typing, and without null
Go with ADTs, global type inference, and parametric polymorphism
Haskell with decent records syntax, runtime polymorphism, and string interpolation
OCaml with typeclasses, overloaded +-*/ for ints and floats, and do-notation
Rust with garbage collector without <::>!?
Erlang with types and fast execution
Python with multithreading, pattern matching, and multiline lambdas
TypeScript with indentation significant syntax, and LLVM
Julia with static type checking, and zero-based indexing