Nim is a statically typed, imperative programming language with a powerful macro system that tries to give the programmer ultimate power without compromises on runtime efficiency.


Haskell is described as 'Advanced purely-functional programming language. An open-source product of more than twenty years of cutting-edge research, it allows rapid development of robust, concise, correct software' and is a popular programming language in the development category. There are more than 50 alternatives to Haskell for a variety of platforms, including Linux, Mac, Windows, BSD and Web-based apps. The best Haskell alternative is Python, which is both free and Open Source. Other great apps like Haskell are Java, Rust, C (programming language) and C++.
Nim is a statically typed, imperative programming language with a powerful macro system that tries to give the programmer ultimate power without compromises on runtime efficiency.


Dart (originally called Dash) is a Web programming language developed by Google. It was unveiled at the GOTO conference in Aarhus, 2011 October 10-12. The goal of Dart is "ultimately to replace JavaScript as the lingua franca of web development on the open web platform.

Scala is a modern multi-paradigm programming language based on the Java Virtual Machine (JVM) designed to express common programming patterns in a concise, elegant, and type-safe way.


Almost everyone thinks Scala is a great Haskell alternative.
Open-source programming language for developing iOS, macOS, watchOS, tvOS, and visionOS apps, featuring safety, speed, type inference, generics, native-code compilation, protocol-oriented design, memory management, Playgrounds, package manager, and Objective-C interoperability.



D is a language with C-like syntax and static typing. It pragmatically combines efficiency, control, and modeling power, with safety and programmer productivity.

Elixir is a dynamic, functional language designed for building scalable and maintainable applications.

Functional-first language for .NET with static typing, succinct and expressive code, advanced pattern matching, object-oriented features, interop with .NET languages, async programming, type providers, cross-platform support, tooling, and immutable data.

Concurrent functional language with built-in support for fault tolerance, distribution, and hot swapping, designed for scalable real-time systems in telecom, banking, e-commerce, and instant messaging. Features garbage collection and dynamic typing.

V is a statically typed compiled programming language designed for building maintainable software.

Racket is a general-purpose programming language as well as the world’s first ecosystem for language-oriented programming.

OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.
Both languages are functional. It is a better alternative than Python or Java or C etc. I'm wondering why OCaml is not on top of Haskell's alternatives list.

Clojure is a dynamic programming language that targets the Java Virtual Machine (and the CLR ). It is designed to be a general-purpose language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for...

Both languages are functional. But Scala also supports OOP. This has its advantages as well as drawbacks. But it is a better alternative than Python or Java or C etc. I'm wondering why Scala is not on top of Haskell's alternatives list.