Ask HN: Is there a language that is simple and empowers developer productivity?

I think many languages tried to be "simple", but in the process they also handicapped developers by removing useful features like generics and operator overloading. I'm thinking Java, Go, etc. Is there a language that actually is simple, but also is expressive while also remaining correct, with a reliable type system with no holes? I would not say Rust, D etc are simple, even though they allow enormous flexibility