| Clean | Functional programming language known for uniqueness typing and lazy evaluation. |
|---|
| Curry | Declarative language that integrates features of functional and logic programming paradigms |
|---|
| F# | Functional-first language on the .NET platform, known for its strong typing and multi-paradigm capabilities. |
|---|
| Flix | Functional, imperative, and logic language focusing on type and effect systems. |
|---|
| Gleam | A general-purpose, functional language that compiles to Erlang and JavaScript, featuring static, inferred typing for concurrent programming. |
|---|
| Haskell | Statically-typed, purely functional language known for type inference and lazy evaluation. |
|---|
| Haxe | High-level cross-platform language and compiler for multiple platforms. |
|---|
| Idris | Purely-functional language for Type-Driven Development with dependent types and optional lazy evaluation. |
|---|
| Isabelle | Automated theorem prover for formalizing mathematical proofs in higher-order logic. |
|---|
| Mercury | A logic-based programming language with functional features. |
|---|
| MLton | SML97 compatibile language with advanced optimizations. |
|---|
| OCaml | General-purpose, multi-paradigm language extending Caml with OO features. |
|---|
| PureScript | Strongly-typed, purely-functional language similar to Haskell, compiling to JavaScript. |
|---|
| Rust | General-purpose programming language emphasizing performance, type safety, and concurrency. |
|---|
| Scala | Statically typed language supporting both object-oriented and functional programming, known for addressing Java's criticisms and supporting concurrent, distributed systems. |
|---|
| Standard ML | Functional programming language known for its type inference and usage in compiler writing. |
|---|
| Unison | Statically-typed, functional language treating code as data for efficient distributed programming. |
|---|