Crystal is what you are looking for.

https://crystal-lang.org/

- Human friendly syntax

- Static compiled

- Type inference

- Incredible standard library

- Easy concurrency

- Incredible performance.