Category:Functional languages
![]() | Computing portal |
Here is a list of articles in the category Functional languages of the Computing portal that unifies foundations of mathematics and computations using computers.
![]() |
Wikimedia Commons has media related to Functional languages. |
This category lists programming languages that adhere to the functional programming paradigm.
Subcategories
This category has the following 8 subcategories, out of 8 total.
D
E
F
H
L
M
R
S
Pages in category "Functional languages"
The following 123 pages are in this category, out of 123 total.
- Comparison of functional programming languages (computing)
A
- A♯ (Axiom) (computing)
- Agda (programming language) (computing)
- Allegro Common Lisp (computing)
- APL (programming language) (computing)
- Arc (programming language) (computing)
- Atom (programming language) (computing)
- ATS (programming language) (computing)
B
- BBN LISP (computing)
- Bird–Meertens formalism (computing)
C
- C Sharp (programming language) (computing)
- Cayenne (programming language) (computing)
- CDuce (computing)
- Charity (programming language) (computing)
- Ciao (programming language) (computing)
- Claire (programming language) (computing)
- Clean (programming language) (computing)
- Clojure (computing)
- CMS Pipelines (computing)
- Common Lisp (computing)
- Coq (software)
- COWSEL (computing)
- Cuneiform (programming language) (computing)
- Curl (programming language) (computing)
D
- DataMelt (software)
- Dependent ML (computing)
E
- Eff (programming language) (computing)
- Elixir (programming language) (computing)
- Elm (programming language) (computing)
- Epigram (programming language) (computing)
- Erlang (programming language) (computing)
- Escher (programming language) (computing)
- EuLisp (computing)
- EXSLT (computing)
F
- F Sharp (programming language) (computing)
- F* (programming language) (computing)
- Falcon (programming language) (computing)
- Formula language (computing)
- Frenetic (programming language) (computing)
- Futhark (programming language) (computing)
G
- Game Oriented Assembly Lisp (computing)
- Gofer (programming language) (computing)
- Grammatical Framework (computing)
H
- Halide (programming language) (computing)
- Haskell (programming language) (computing)
- Haxe (computing)
- Hope (programming language) (computing)
- Hume (programming language) (computing)
I
- Id (programming language) (computing)
- Idris (programming language) (computing)
- Interlisp (computing)
- ISWIM (computing)
J
- J (programming language) (computing)
- JavaScript (computing)
- JHepWork (software)
- Joy (programming language) (computing)
- Jq (programming language) (computing)
- JS++ (computing)
- JSONiq (computing)
- Julia (programming language) (computing)
K
- Kent Recursive Calculator (computing)
L
- Lazy ML (computing)
- Lean (proof assistant) (software)
- Lisp (programming language) (computing)
- Logo (programming language) (computing)
- Lout (software)
M
- Macintosh Common Lisp (computing)
- Magma (computer algebra system) (software)
- Maple (software)
- Matita (software)
- MDL (programming language) (computing)
- MediaWiki markup language (computing)
- Mercury (programming language) (computing)
- MexScript (computing)
- Miranda (programming language) (computing)
- ML (programming language) (computing)
- MultiLisp (computing)
N
- NESL (computing)
- NewLISP (computing)
- NIL (programming language) (computing)
- Nim (programming language) (computing)
- NPL (programming language) (computing)
O
- OBJ (programming language) (computing)
- OBJ2 (computing)
- OCaml (computing)
- Opa (programming language) (computing)
- Opal (programming language) (computing)
- OPS5 (computing)
- Orwell (programming language) (computing)
P
- PAL (programming language) (computing)
- Programming with Big Data in R (computing)
- Pict (programming language) (computing)
- POP-2 (computing)
- Portable Standard Lisp (computing)
- Programming Computable Functions (computing)
- Pure (programming language) (computing)
- PureScript (computing)
Q
- Q (equational programming language) (computing)
- Qalb (programming language) (computing)
- QCObjects (computing)
R
- R (programming language) (computing)
- Racket (programming language) (computing)
- Reason (programming language) (computing)
- Reason (syntax extension for OCaml) (computing)
- Rebol (computing)
- Red (programming language) (computing)
- Refal (computing)
- Renjin (software)
- Rust (programming language) (computing)
S
- SASL (programming language) (computing)
- Scala (programming language) (computing)
- SCaViS (software)
- SequenceL (software)
- SISAL (computing)
- Standard ML (computing)
- *Lisp (computing)
T
- Template Haskell (computing)
- TXL (programming language) (computing)
U
- Unlambda (computing)
- Ur (programming language) (computing)
W
- Wolfram Language (computing)