Haskell is a statically typed, purely functional programming language that has been around since the late 1990s. It has the ability to express and solve complex problems with concise, elegant code. It is a general-purpose programming language, meaning it can be used for a variety of different tasks such as web development, data analysis, machine learning, and more. Haskell has a strong type system and a powerful module system, which makes it easy to build large, reliable, and maintainable software applications. It also has a rich set of libraries and frameworks that provide a wide range of features, making it easier to quickly develop complex applications. Haskell also encourages the use of functional programming principles, making it an ideal language for those who want to explore the world of functional programming.
While they can be used to program all kinds of software and even look similar, they are totally different in core functionality. Speaking of static typing vs. dynamic typing, no one would want to switch to a dynamically typed language after experiencing Haskell.