SettingsFunctional languages
*Lisp
The *Lisp (aka StarLisp) programming language was conceived of in 1985 by Cliff Lasser and Steve Omohundro (employees of the Thinking Machines Corporation) as a way of providing an efficie...
The *Lisp (aka StarLisp) programming language was conceived of in 1985 by Cliff Lasser and Steve Omohundro (employees of the Thinking Machines Corporation) as a way of providing an efficie...
A Sharp (Axiom)
A# (A sharp) is an object-oriented functional programming language distributed as a separable component of Version 2 of the Axiom computer algebra system.
A# (A sharp) is an object-oriented functional programming language distributed as a separable component of Version 2 of the Axiom computer algebra system.
Adenine (programming language)
Adenine, named after the nucleobase adenine, is a script language, which is developed in the context of the Haystack project and the Oxygen project of the MIT Computer Science and Artificial I...
Adenine, named after the nucleobase adenine, is a script language, which is developed in the context of the Haystack project and the Oxygen project of the MIT Computer Science and Artificial I...
Agda (programming language)
Agda is a proof assistant, i.e. a computer program that can check mathematical proofs.
Agda is a proof assistant, i.e. a computer program that can check mathematical proofs.
Agda (theorem prover)
Agda is a proof assistant, i.e. a computer program that can check mathematical proofs.
Agda is a proof assistant, i.e. a computer program that can check mathematical proofs.
Allegro Common Lisp
Allegro Common Lisp is a commercial implementation of the Common Lisp programming language developed by Franz Inc. Allegro CL provides the full ANSI Common Lisp standard with many extensions(thr...
Allegro Common Lisp is a commercial implementation of the Common Lisp programming language developed by Franz Inc. Allegro CL provides the full ANSI Common Lisp standard with many extensions(thr...
APL (programming language)
APL is an interactive array-oriented language and integrated development environment, which is available from a number of commercial and noncommercial vendors and for most computer platforms.
APL is an interactive array-oriented language and integrated development environment, which is available from a number of commercial and noncommercial vendors and for most computer platforms.
Arbol
Arbol is a programming language which has been primarily developed for use in Genetic Programming experiments.
Arbol is a programming language which has been primarily developed for use in Genetic Programming experiments.
Arc (programming language)
Arc is a dialect of the Lisp programming language now under development by Paul Graham and Robert Morris.
Arc is a dialect of the Lisp programming language now under development by Paul Graham and Robert Morris.
Atom (programming language)
Atom is a domain-specific language (DSL) in Haskell, for designing real-time embedded software.
Atom is a domain-specific language (DSL) in Haskell, for designing real-time embedded software.
ATS (programming language)
ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination with practical programming through the use of advanced type systems.
ATS (Applied Type System) is a programming language whose stated purpose is to support theorem proving in combination with practical programming through the use of advanced type systems.
BBN LISP
BBN LISP was a dialect of the Lisp programming language by Bolt, Beranek and Newman Inc. in Cambridge, Massachusetts.
BBN LISP was a dialect of the Lisp programming language by Bolt, Beranek and Newman Inc. in Cambridge, Massachusetts.
Bird-Meertens Formalism
The Bird-Meertens Formalism is a calculus for deriving programs from specifications (in a functional-programming setting), devised by Richard Bird and Lambert Meertens.
The Bird-Meertens Formalism is a calculus for deriving programs from specifications (in a functional-programming setting), devised by Richard Bird and Lambert Meertens.
BitC
BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project.
BitC is a systems programming language developed by researchers at the Johns Hopkins University and The EROS Group, LLC as part of the Coyotos project.
Brooks (programming language)
Brooks is a functional logic programming language which inherits from the languages Curry and BABEL but allows the integration of different narrowing strategies.
Brooks is a functional logic programming language which inherits from the languages Curry and BABEL but allows the integration of different narrowing strategies.
Cat (programming language)
Cat is a functional stack-oriented programming language inspired by the Joy programming language.
Cat is a functional stack-oriented programming language inspired by the Joy programming language.
Cayenne (programming language)
Cayenne is a functional programming language with dependent types.
Cayenne is a functional programming language with dependent types.
Charity (programming language)
Charity is an experimental purely functional programming language, developed at the University of Calgary.
Charity is an experimental purely functional programming language, developed at the University of Calgary.
Claire (programming language)
Claire is a high-level functional and object-oriented programming language with rule processing capabilities.
Claire is a high-level functional and object-oriented programming language with rule processing capabilities.
Clean (programming language)
In computer science, Clean is a general-purpose purely functional computer programming language.
In computer science, Clean is a general-purpose purely functional computer programming language.
Common Lisp
Common Lisp is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994,.
Common Lisp is a dialect of the Lisp programming language, published in ANSI standard document ANSI INCITS 226-1994,.
Compcert
CompCert is a formally verified optimizing compiler for a subset of the C programming language which currently targets PowerPC, ARM and x86 architectures.
CompCert is a formally verified optimizing compiler for a subset of the C programming language which currently targets PowerPC, ARM and x86 architectures.
COWSEL
COWSEL (COntrolled Working SpacE Language) is a programming language designed between 1964 and 1966 by Robin Popplestone.
COWSEL (COntrolled Working SpacE Language) is a programming language designed between 1964 and 1966 by Robin Popplestone.
Curl (programming language)
Curl is a reflective object-oriented programming language for interactive web applications which goal is to provide a smoother transition between formatting and programming.
Curl is a reflective object-oriented programming language for interactive web applications which goal is to provide a smoother transition between formatting and programming.
Dependent ML
Dependent ML is an experimental functional programming language proposed by Frank Pfenning and Hongwei Xi. Dependent ML extends ML by a restricted notion of dependent types: types may be depende...
Dependent ML is an experimental functional programming language proposed by Frank Pfenning and Hongwei Xi. Dependent ML extends ML by a restricted notion of dependent types: types may be depende...
Eager Haskell
Eager Haskell is an implementation of the Haskell programming language that uses eager evaluation.
Eager Haskell is an implementation of the Haskell programming language that uses eager evaluation.
Epigram (programming language)
Epigram is the name of a functional programming language with dependent types.
Epigram is the name of a functional programming language with dependent types.
Erlang (programming language)
Erlang is a general-purpose concurrent, garbage-collected programming language and runtime system.
Erlang is a general-purpose concurrent, garbage-collected programming language and runtime system.
Escher (programming language)
Escher is a declarative programming language that supports both functional programming and logic programming models, developed by J.W. Lloyd in the mid-1990s.
Escher is a declarative programming language that supports both functional programming and logic programming models, developed by J.W. Lloyd in the mid-1990s.
EuLisp
EuLisp is a statically and dynamically scoped Lisp dialect developed by a loose formation of industrial and academic Lisp users and developers from around Europe.
EuLisp is a statically and dynamically scoped Lisp dialect developed by a loose formation of industrial and academic Lisp users and developers from around Europe.
EXSLT
EXSLT is a community initiative to provide extensions to XSLT, which are broken down into a number of modules, listed below.
EXSLT is a community initiative to provide extensions to XSLT, which are broken down into a number of modules, listed below.
F Sharp (programming language)
F# is a multi-paradigm programming language, targeting the .NET Framework, that encompasses functional programming as well as imperative and object-oriented programming disciplines.
F# is a multi-paradigm programming language, targeting the .NET Framework, that encompasses functional programming as well as imperative and object-oriented programming disciplines.
Flow Java
Flow Java is a conservative extension to the Java programming language.
Flow Java is a conservative extension to the Java programming language.
Frege (programming language)
Frege is a non-strict, pure functional programming language in the spirit of Haskell.
Frege is a non-strict, pure functional programming language in the spirit of Haskell.
Frenetic (programming language)
Frenetic is a domain-specific language for programming OpenFlow networks, embedded in Python.
Frenetic is a domain-specific language for programming OpenFlow networks, embedded in Python.
Game Oriented Assembly Lisp
Game Oriented Assembly Lisp (or GOAL) is a computer game programming language developed by Andy Gavin and the Jak and Daxter team at Naughty Dog.
Game Oriented Assembly Lisp (or GOAL) is a computer game programming language developed by Andy Gavin and the Jak and Daxter team at Naughty Dog.
Gofer (programming language)
Gofer ("Good For Equational Reasoning") is an implementation of the programming language Haskell intended for educational purposes and supporting a language based on vers...
Gofer ("Good For Equational Reasoning") is an implementation of the programming language Haskell intended for educational purposes and supporting a language based on vers...
Goo (programming language)
GOO is a lexically scoped, dynamic, type-based, object-oriented programming language.
GOO is a lexically scoped, dynamic, type-based, object-oriented programming language.
Hartmann pipeline
A Hartmann pipeline is an extension of the Unix pipeline concept, providing for more complex paths, multiple input/output streams, and other features.
A Hartmann pipeline is an extension of the Unix pipeline concept, providing for more complex paths, multiple input/output streams, and other features.
Haskell (programming language)
Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing.
Haskell is a standardized, general-purpose purely functional programming language, with non-strict semantics and strong static typing.
Hope (programming language)
Hope is a small functional programming language developed in the 1970s at Edinburgh University.
Hope is a small functional programming language developed in the 1970s at Edinburgh University.
Hume (programming language)
Hume is a functionally-based programming language developed at the University of St Andrews and Heriot-Watt University in Scotland, and named after the 18th Century philosopher David Hume.
Hume is a functionally-based programming language developed at the University of St Andrews and Heriot-Watt University in Scotland, and named after the 18th Century philosopher David Hume.
Id (programming language)
Id is a general-purpose parallel programming language, developed by Arvind and Nikhil, at MIT, in the late 1970 and throughout the 1980s.
Id is a general-purpose parallel programming language, developed by Arvind and Nikhil, at MIT, in the late 1970 and throughout the 1980s.
IMTEK Mathematica Supplement
The IMTEK Mathematica Supplement (IMS for short) is an open source Mathematica AddOn that aims to provide a wealth of tutorials and packages for Scientific and Engineering purposes, mainly focus...
The IMTEK Mathematica Supplement (IMS for short) is an open source Mathematica AddOn that aims to provide a wealth of tutorials and packages for Scientific and Engineering purposes, mainly focus...
Interlisp
Interlisp (also seen with a variety of capitalizations) was a programming environment built around a version of the Lisp programming language.
Interlisp (also seen with a variety of capitalizations) was a programming environment built around a version of the Lisp programming language.
ISWIM
ISWIM is an abstract computer programming language devised by Peter J. Landin and first described in his article, The Next 700 Programming Languages, published in the Communications of the A...
ISWIM is an abstract computer programming language devised by Peter J. Landin and first described in his article, The Next 700 Programming Languages, published in the Communications of the A...
J (programming language)
The J programming language, developed in the early 1990s by Kenneth E. Iverson and Roger Hui, is a synthesis of APL (also by Iverson) and the FP and FL function-level languages created by John B...
The J programming language, developed in the early 1990s by Kenneth E. Iverson and Roger Hui, is a synthesis of APL (also by Iverson) and the FP and FL function-level languages created by John B...
Joy (programming language)
The Joy programming language is a purely functional programming language that was produced by Manfred von Thun of La Trobe University in Melbourne, Australia.
The Joy programming language is a purely functional programming language that was produced by Manfred von Thun of La Trobe University in Melbourne, Australia.
Lazy ML
Lazy ML (LML) is a functional programming language developed in the early 1980s by Lennart Augustsson and Thomas Johnsson at Chalmers University of Technology, prior to Miranda and Haskell.
Lazy ML (LML) is a functional programming language developed in the early 1980s by Lennart Augustsson and Thomas Johnsson at Chalmers University of Technology, prior to Miranda and Haskell.
Lisp (programming language)
Lisp is a family of computer programming languages with a long history and a distinctive, fully parenthesized Polish prefix notation.
Lisp is a family of computer programming languages with a long history and a distinctive, fully parenthesized Polish prefix notation.
Logo (programming language)
Logo is a multi-paradigm computer programming language used in education.
Logo is a multi-paradigm computer programming language used in education.
Macintosh Common Lisp
Macintosh Common Lisp (MCL) is an implementation and IDE for the Common Lisp programming language.
Macintosh Common Lisp (MCL) is an implementation and IDE for the Common Lisp programming language.
Magma computer algebra system
Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics.
Magma is a computer algebra system designed to solve problems in algebra, number theory, geometry and combinatorics.
Mathematica
Mathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing.
Mathematica is a computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing.
MDL (programming language)
MDL (the MIT Design Language) is a descendant of the Lisp Programming language.
MDL (the MIT Design Language) is a descendant of the Lisp Programming language.
Mercury (programming language)
Mercury is a functional logic programming language geared towards real-world applications.
Mercury is a functional logic programming language geared towards real-world applications.
Miranda (programming language)
Miranda is a non-strict purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.
Miranda is a non-strict purely functional programming language designed by David Turner as a successor to his earlier programming languages SASL and KRC, using some concepts from ML and Hope.
ML (programming language)
ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, M...
ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, M...
Mudlle
Mudlle, "MUD Language for Little Extensions", is a functional programming language originally designed for writing extensions to MUME, a Diku-based MUD written in C. Public archives have dat...
Mudlle, "MUD Language for Little Extensions", is a functional programming language originally designed for writing extensions to MUME, a Diku-based MUD written in C. Public archives have dat...
MultiLisp
MultiLisp is a functional programming language and dialect of the Lisp dialect Scheme, extended with constructs for parallel execution and shared memory; MultiLisp is implemented in Interlisp.
MultiLisp is a functional programming language and dialect of the Lisp dialect Scheme, extended with constructs for parallel execution and shared memory; MultiLisp is implemented in Interlisp.
NESL
NESL is a parallel programming language developed at Carnegie Mellon by the SCandAL project and released in 1993.
NESL is a parallel programming language developed at Carnegie Mellon by the SCandAL project and released in 1993.
newLISP
newLISP is an open source scripting language in the Lisp family of programming languages developed by Lutz Mueller and released under the GNU General Public License.
newLISP is an open source scripting language in the Lisp family of programming languages developed by Lutz Mueller and released under the GNU General Public License.
NIL (programming language)
NIL was a 32-bit implementation of Lisp developed at MIT and intended to be the successor to Maclisp.
NIL was a 32-bit implementation of Lisp developed at MIT and intended to be the successor to Maclisp.
NPL (programming language)
NPL was a functional language with pattern matching designed by Rod Burstall and John Darlington in 1977.
NPL was a functional language with pattern matching designed by Rod Burstall and John Darlington in 1977.
OBJ (programming language)
OBJ is a programming language family introduced by Joseph Goguen in 1976.
OBJ is a programming language family introduced by Joseph Goguen in 1976.
OBJ2
OBJ2 is a programming language with Clear-like parametrised modules and a functional system based on equations.
OBJ2 is a programming language with Clear-like parametrised modules and a functional system based on equations.
OBJ3
OBJ3 is a version of OBJ based on order-sorted rewriting.
OBJ3 is a version of OBJ based on order-sorted rewriting.
Objective Caml
Objective Caml, or OCaml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
Objective Caml, or OCaml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
OCaml
OCaml, originally known as Objective Caml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
OCaml, originally known as Objective Caml, is the main implementation of the Caml programming language, created by Xavier Leroy, Jérôme Vouillon, Damien Doligez, Didier Rémy and others in 1996.
Opal (programming language)
OPAL (OPtimized Applicative Language) is a functional programming language first developed at the Technical University of Berlin.
OPAL (OPtimized Applicative Language) is a functional programming language first developed at the Technical University of Berlin.
OPS5
OPS5 is a rule-based or production system computer language, notable as the first such language to be used in a successful expert system, the R1/XCON system used to configure VAX computers.
OPS5 is a rule-based or production system computer language, notable as the first such language to be used in a successful expert system, the R1/XCON system used to configure VAX computers.
Orwell (programming language)
Orwell is a small lazy functional programming language first released in 1984 by Philip Wadler.
Orwell is a small lazy functional programming language first released in 1984 by Philip Wadler.
Pict (programming language)
Pict is a statically typed programming language, one of the very few based on the pi-calculus.
Pict is a statically typed programming language, one of the very few based on the pi-calculus.
POP-2
POP-2, often referred to as POP2 was a programming language developed around 1970 from the earlier language POP-1 (originally named COWSEL) by Robin Popplestone and Rod Burstall at the Uni...
POP-2, often referred to as POP2 was a programming language developed around 1970 from the earlier language POP-1 (originally named COWSEL) by Robin Popplestone and Rod Burstall at the Uni...
Portable Standard Lisp
Portable Standard Lisp (PSL) is a tail-recursive dynamically bound dialect of Lisp inspired by its predecessor, Standard Lisp and the Portable Lisp Compiler.
Portable Standard Lisp (PSL) is a tail-recursive dynamically bound dialect of Lisp inspired by its predecessor, Standard Lisp and the Portable Lisp Compiler.
Programming Computable Functions
In computer science, Programming Computable Functions, or PCF, is a typed functional language introduced by Gordon Plotkin in 1977.
In computer science, Programming Computable Functions, or PCF, is a typed functional language introduced by Gordon Plotkin in 1977.
Pure (programming language)
Pure is a dynamically typed, functional programming language based on term rewriting.
Pure is a dynamically typed, functional programming language based on term rewriting.
Q (equational programming language)
Q (short for equational programming language) is an interpreted, interactive functional programming language created by Albert Gräf at the University of Mainz in Germany.
Q (short for equational programming language) is an interpreted, interactive functional programming language created by Albert Gräf at the University of Mainz in Germany.
Qi (programming language)
Qi is a functional programming language developed by Dr Mark Tarver and introduced in April 2005.
Qi is a functional programming language developed by Dr Mark Tarver and introduced in April 2005.
Quark Framework
The Quark Framework (Open Quark) consists of a non-strict functional language and runtime for the Java platform.
The Quark Framework (Open Quark) consists of a non-strict functional language and runtime for the Java platform.
R (programming language)
R is an open source programming language and software environment for statistical computing and graphics.
R is an open source programming language and software environment for statistical computing and graphics.
Racket (programming language)
Racket (formerly called PLT Scheme) is a multi-paradigm programming language in the Lisp/Scheme family, that also serves as a platform for language creation, design, and implementation.
Racket (formerly called PLT Scheme) is a multi-paradigm programming language in the Lisp/Scheme family, that also serves as a platform for language creation, design, and implementation.
REBOL
REBOL ( ; Relative Expression Based Object Language) is a cross-platform data exchange language and a multi-paradigm dynamic programming language originally designed by Carl Sassenrath for...
REBOL ( ; Relative Expression Based Object Language) is a cross-platform data exchange language and a multi-paradigm dynamic programming language originally designed by Carl Sassenrath for...
Refal
Refal (Recursive functions algorithmic language) "is a functional programming language oriented toward symbol manipulation", including "string processing, translation, and
Artificial int...
Refal (Recursive functions algorithmic language) "is a functional programming language oriented toward symbol manipulation", including "string processing, translation, and
Artificial int...
rex (programming language)
rex is a functional programming language developed by Robert M. Keller for use in teaching functional programming to Harvey Mudd College students.
rex is a functional programming language developed by Robert M. Keller for use in teaching functional programming to Harvey Mudd College students.
Rust (programming language)
Rust is an experimental, concurrent, multi-paradigm, compiled programming language developed by Mozilla Labs.
Rust is an experimental, concurrent, multi-paradigm, compiled programming language developed by Mozilla Labs.
SASL (programming language)
SASL (from St. Andrews Static Language, alternatively St.
SASL (from St. Andrews Static Language, alternatively St.
Scala (programming language)
Scala is a multi-paradigm programming language designed to integrate features of object-oriented programming and functional programming.
Scala is a multi-paradigm programming language designed to integrate features of object-oriented programming and functional programming.
Shen (programming language)
Shen is a functional programming language developed by Dr. Mark Tarver and introduced in October 2011.
Shen is a functional programming language developed by Dr. Mark Tarver and introduced in October 2011.
SISAL
SISAL is a general-purpose single assignment functional programming language with strict semantics, implicit parallelism, and efficient array handling.
SISAL is a general-purpose single assignment functional programming language with strict semantics, implicit parallelism, and efficient array handling.
Standard ML
Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.
Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference.
Template Haskell
Template Haskell is an experimental language extension to the programming language Haskell implemented in the Glasgow Haskell Compiler (version 6 and later).
Template Haskell is an experimental language extension to the programming language Haskell implemented in the Glasgow Haskell Compiler (version 6 and later).
Timber (programming language)
Timber is a functional programming language descendant from O'Haskell, targeted at embedded real-time systems.
Timber is a functional programming language descendant from O'Haskell, targeted at embedded real-time systems.
TXL (programming language)
TXL is a special-purpose programming language originally designed by Charles Halpern-Hamu and James Cordy at the University of Toronto in 1985.
TXL is a special-purpose programming language originally designed by Charles Halpern-Hamu and James Cordy at the University of Toronto in 1985.
Unlambda
Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore.
Unlambda is a minimal, "nearly pure" functional programming language invented by David Madore.
XQuery
XQuery is a query and functional programming language that is designed to query collections of XML data.
XQuery is a query and functional programming language that is designed to query collections of XML data.
XSLT
XSLT (Extensible Stylesheet Language Transformations) is a declarative, XML-based language used for the transformation of XML documents.
XSLT (Extensible Stylesheet Language Transformations) is a declarative, XML-based language used for the transformation of XML documents.