Ada Alternatives

Pharo is an open source dynamic and reflective language which is made by a community of more than 100 contributors. The language is isnpired by the programming language Smalltalk which was released back in the 1972. On top of that, Pharo offers several live programming features such as immediate object manipulation, live update and hot recompiling. The Pharo full stack is released under MIT License.

A mature, open-source, cross-platform strongly typed functional-first programming language designed by Don Syme at Microsoft Research. While being a functional-first programming language F# also encompasses imperative and object-oriented programming paradigms. F# is most commonly used as a cross-platform Common Language Infrastructure language, while also having the capability to generation graphics processing unit code and compile down to JavaScript.

Developed by Bjarne Stroustrup at Bell Labs in 1979, C++ is a general-purpose programming language. C++ was designed as an extension of the work on the programming language C, or "C with Classes". The language run on the most common platforms such as macOS, Windows, Linux and various versions of UNIX. In modern releases of C++ object-oriented, generic, and functional features in addition to facilities for low-level memory manipulation has been introduced.

Lua is a lightweight, high-level, multi-paradigm programming language built on top of the C programming language. The language is designed primarily for embedded use in applications and works cross-platform since Lua has a relatively simple C API to embed it into its core.

A programming language that combines object-oriented and functional programming in one concise, high-level language. Scala is used by developers to build scalable software for the JVM, the Java Virtual Machine. The Scala source code is automatically compiled into Java bytecode that is executable on the JVM. When the language first was designed it aimed to address some of the most common criticisms of Java, and the static types in Scala help developers to avoid bugs in complex applications and large-scale systems.

Elm is a free and open-source domain-specific programming language that uses type inference to detect corner cases and give friendly hints. The language is by developers to create browser-based graphical user interfaces and is designed for usability, performance, and robustness. Elm is purely functional and is actually a compiler that utilize static type checking, which means you can rest assured that your code will run runtime exceptions.

Julia is free and open-source high-level, high-performance, dynamic programming language. The language is most commonly used by developers for numerical analysis and computational science. Julia's ecosystem includes many packages that makes easy to create data visualisations, work with data and machine learning.

TypeScript is a free and open-source programming language created by Microsoft. The language is a strict syntactical superset of JavaScript and redefines the way developer writes JavaScript-based web applications and software by adding optional static typing in the mix. TypeScript is designed specifically for development of large-scale applications with a need to transcompile into JavaScript.

A general-purpose, concurrent, functional programming language used to build massively scalable soft real-time systems with requirements on high availability. Erlang comes bundled with the OTP, the Open Telecom Platform which is a runtime system first developed by Ericsson to handle the Swedish telecom infrastructure in the early 80's. The term Erlang and OTP is today used interchangeably and includes the runtime, the language and ready-to-use components built specifically for the ecosystem. To this day, Erlang is used in various sectors and applications like telecoms, banking, e-commerce, computer telephony and instant messaging. As the language is suitable for critical infrastructure and applications that requires high availability and real-time features, running at scale.

C# is a general-purpose and multi-paradigm programming language. C# encompasses strong typing, lexically scoped, imperative, declarative, functional, generic, object-oriented, and component-oriented programming disciplines.

OCaml is a general-purpose, multi-paradigm programming language created in 1996 by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy, Ascánder Suárez, and others. The language extends the Caml dialect of ML with object-oriented features and provides a rich set of libraries. OCaml is openly developed by the community and is used by companies that require speed and code safety when writing mission critical software.

Designed and developed by Robert Griesemer, Rob Pike, and Ken Thompson at Google. Go or Golang is a compiled programming language that is statically typed and shares similarities with C, syntactically. The programming language was specifically designed to make it easy to build simple, reliable, and efficient software with safety, garbage collection, structural typing, and CSP-style concurrency.