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++.
Pony is an open-source, object-oriented, actor-model, capabilities-secure, high-performance programming language.
Temper is a programming language and toolchain for making libraries that can be used natively from any other language.
HolyC is very similar to regular C, so it's a very simple but powerful language. It was used to make all of TempleOS, so it definitely works to make programs.
Unison is a statically-typed functional language with type inference, an effect system, and advanced tooling. It is based around a big idea of content-addressed code, in which function are identified by a hash of their implementation rather than by name, and code is stored as...
The Factor programming language combines powerful language features with a full-featured library. The implementation is fully compiled for performance, while still supporting interactive development. Factor applications are portable between all common platforms.
Object Pascal is a multi-paradigm, object-oriented, component-based general purpose programming language.
Quorum is a general purpose tool that we call an "evidence-based" programming language. It started as an interpreted language originally designed to be easier to hear through screen readers for blind or visually impaired users.
Q# (pronounced as Q sharp) is a domain-specific programming language used for expressing quantum algorithms. It was initially released to the public by Microsoft as part of the Quantum Development Kit.
Ada 2012 is the next generation of the world’s premier programming language for engineering safe, secure and reliable software.
Eiffel is an object-oriented programming language designed by Bertrand Meyer (an object-orientation proponent and author of Object-Oriented Software Construction) and Eiffel Software. Meyer conceived the language in 1985 with the goal of increasing the reliability of commercial...
United States
