Functional Languages
Rholang
Last Updated: June 10, 2025Description Rholang is a concurrent, functional programming language designed for blockchain smart contracts based on the rho-calculus. History Developed as...
Pony
Last Updated: June 10, 2025Description Pony is an actor-model, capabilities-secure, object-oriented language with strong functional programming influences focused on concurrency and safety. History Developed...
Miranda
Last Updated: June 10, 2025Description Miranda is a lazy, purely functional programming language that influenced the development of Haskell. History Created by David Turner...
Mercury
Last Updated: June 10, 2025Description Mercury is a logic-functional programming language designed for declarative programming with strong typing and determinism, combining features of Prolog...
Idris 2
Last Updated: June 10, 2025Description Idris 2 is a modern functional programming language with full dependent types, designed for writing robust, type-safe programs that...
APL
Last Updated: June 10, 2025Description APL (A Programming Language) is a concise, array-oriented functional programming language known for its use of special symbols to...
ReScript
Last Updated: June 10, 2025Description ReScript is a fast, typed functional language that compiles to high-performance JavaScript with a smooth developer experience. History ReScript...
Coq
Last Updated: June 10, 2025Description Coq is a functional programming language and proof assistant used for writing formally verified software and mathematical proofs. History...
Shen
Last Updated: June 10, 2025Description Shen is a functional programming language that blends Lisp-style syntax, Prolog-like logic programming, and a strong static type system....
Futhark
Last Updated: June 10, 2025Description Futhark is a high-performance, purely functional language designed for parallel programming on GPUs and multi-core CPUs. History Futhark was...