Is Haskell a Good Programming Language?

Haskell is a type-based programming language. It uses dependent types to allow programmers to express their programs more accurately. But it also allows for proof assistants like liquid Haskell and SMT solvers. Is that something where Haskell has a future in? "I don't feel that I am sort of fully ready to grapple with this"