The holy grail of all programming languages.

This is not an opinion.

Haskell is a lazy, functional, statically typed programming language with the Hindley-Milner type system (aka the best one). Haskell inspired Rust, Ocaml, F#, and Raku.