Ada

vs

OCaml

Groovy, or Apache Groovy is a object-oriented programming language for the JVM (Java Virtual Machine). Groovy share many similarities with programming languages like Python, Ruby, and Smalltalk while providing a syntax compatible with Java.

..

Rebol is a lightweight, cross-platform data exchange programming language. The language is designed by Carl Sassenrath and is suited for network communications and distributed computing. Rebol's unique simplistic design makes it a productive language that is loved by its users.

Haskell is a free and open-source purely-functional programming language. The language has been around since the 1990's and has pioneered a number of advanced programming language features such as type classes, which enable type-safe operator overloading. Haskell is an open-source project of more than twenty years of scientific research and provides built-in concurrency and parallelism, debuggers, profilers and rich libraries that can be used to build robust applications while following functional programming patterns.

A dynamic, functional programming language that tuns on top of the Erlang Virtual Machine. A VM known for running low-latency, distributed and fault-tolerant systems. Elixir provides productive tooling and an extensible design perfect for building concurrent applications for critical infrastructure

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.