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.

C++ is described as 'Statically typed, free-form, multi-paradigm, compiled, general-purpose, powerful programming language. It is regarded as an intermediate-level language, as it comprises a combination of both high-level and low-level language features' and is a very popular programming language in the development category. There are more than 50 alternatives to C++ for a variety of platforms, including Linux, Windows, Mac, BSD and Self-Hosted apps. The best C++ alternative is Rust, which is both free and Open Source. Other great apps like C++ are Java, C (programming language), Go (Programming Language) and C#.
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.

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.

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.


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

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.

The Objective-C language is a simple computer language designed to enable sophisticated object-oriented programming. Objective-C is defined as a small but powerful set of extensions to the standard ANSI C language.

Ada 2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software.

Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level...
GDScript is a high-level, dynamically typed programming language used to create content. It uses a syntax similar to Python.

OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.