Haskell is an 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.

Nim (programming language) is described as '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' and is a programming language in the development category. There are more than 50 alternatives to Nim (programming language) for a variety of platforms, including Linux, Windows, Mac, BSD and Web-based apps. The best Nim (programming language) alternative is Python, which is both free and Open Source. Other great apps like Nim (programming language) are Java, C (programming language), C++ and Rust.
Haskell is an 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.

Kotlin is a cross-platform, statically typed, general-purpose programming language with type inference. Kotlin is designed to interoperate fully with Java, and the JVM version of its standard library depends on the Java Class Library, but type inference allows its syntax to be...


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.

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

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.



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

Programming language with Ruby-like syntax that compiles to efficient native code.


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.

GDScript is a high-level, dynamically typed programming language used to create content. It uses a syntax similar to Python.

Haxe is an open source toolkit based on a modern high level strictly typed programming language, a state-of-the-art light-speed cross-compiler, a complete cross-platform standard library, and ways to access to each platform's native capabilities.


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.
