Functional Languages
Joy
Last Updated: June 10, 2025Description Joy is a stack-based, concatenative functional programming language known for its point-free style and powerful combinators. History Joy was...
Unison
Last Updated: June 10, 2025Description Unison is a modern, purely functional programming language that stores code by content hash, enabling robust refactoring, distribution, and...
Koka
Last Updated: June 10, 2025Description Koka is a strongly typed functional programming language designed to make side effects explicit using algebraic effect types. It...
Agda
Last Updated: June 9, 2025Description Agda is a dependently typed functional programming language and proof assistant used for formal verification, theorem proving, and advanced...
Scala
Last Updated: June 9, 2025Description Scala is a powerful hybrid programming language that blends object-oriented and functional programming concepts. It runs on the Java...
Elixir
Last Updated: June 9, 2025Description Elixir is a functional, concurrent language built on top of Erlang’s BEAM virtual machine. It brings modern syntax, metaprogramming,...
Erlang
Last Updated: June 9, 2025Description Erlang is a functional, concurrent programming language designed for building scalable and fault-tolerant systems. It excels in soft real-time,...
Nim
Last Updated: June 9, 2025Description Nim is a statically typed, compiled programming language that combines the performance of C with the expressiveness of Python...
ReasonML
Last Updated: June 9, 2025Description ReasonML (or Reason) is a syntax layer and toolchain on top of OCaml that offers JavaScript developers a familiar,...
Idris
Last Updated: June 9, 2025Description Idris is a general-purpose functional programming language with dependent types, allowing types to be predicated on values. It supports...