Home
Paradigms
functional programming

functional programming

161 programming languages

Language	Appeared	Type system	Languages it influenced
ACL2	1990	dynamic typing	—
ActionScript	1998	static typing, strong typing	1
Aldor	1990	static typing, dependent type	—
Alice	2000	static typing, inference typing, strong typing	1
Alpaca	—	—	1
Apache Groovy	2003	dynamic typing, static typing, duck typing, strong typing	3
APL	1966	dynamic typing	10
Arc	2008	dynamic typing	—
Arduino	—	—	—
Atom	2007	strong typing	—
ATS	2006	static typing, dependent typing, linear typing	—
AutoIt	1999	—	—
A♯	1971	—	—
Bosque	2019	static typing, refinement typing, structural typing	—
C#	2001	dynamic typing, nominative typing, inference typing, strong typing	23
C++	1983	static typing, nominative typing, partial inference typing	36
Cadence SKILL	1990	dynamic typing	—
Caml	1985	static typing, inference typing, strong typing	—
Caméléon	2009	dynamic typing, static typing	—
Cayenne	—	dependent typing	—
Ceylon	2011	static typing, safe typing, strong typing	—
Claire	1994	dynamic typing, static typing, strong typing	—
Clean	1987	dynamic typing, uniqueness typing, strong typing	2
Clojure	2007	dynamic typing, strong typing	2
Cobra	2006	dynamic typing, static typing, inference typing, strong typing	—
CoffeeScript	2009	dynamic typing	2
Common Lisp	1984	dynamic typing, strong typing	8
Concurrent Euclid	1980	strong typing	—
CPL	1963	—	3
Cuneiform	2013	static typing	—
Curl	1998	strong typing	—
Curry	1995	static typing, inference typing, strong typing	—
D	2001	static typing, inference typing, strong typing	5
Dafny	2009	—	1
Dart	2011	static typing, inference typing, strong typing	1
DUP programming language	—	—	—
Dylan	1992	dynamic typing, strong typing	3
Easy Programming Language	2004	—	—
Elixir	2011	dynamic typing, duck typing, strong typing	1
Elm	2012	static typing, inference typing, strong typing	2
Emacs Lisp	1985	dynamic typing, strong typing	—
Epigram	2004	static typing, dependent typing, strong typing	2
Erlang	1986	dynamic typing, strong typing	8
Escher	1990	manifest typing, static typing	—
Euclid	1977	static typing, strong typing	2
Extempore	—	dynamic typing	—
F#	2005	static typing, inference typing, strong typing	4
F*	—	static typing, dependent typing, refinement typing, inference typing, strong typing	—
Factor	2003	dynamic typing, strong typing	—
FL	1989	dynamic typing	1
Flix	2016	static typing, inference typing, structural typing, strong typing	—
Franz Lisp	1980	dynamic typing, strong typing	—
Frege	2011	—	—
Gleam	2016	static typing, safe typing	—
Go	2009	static typing, duck typing, inference typing, structural typing, strong typing	8
Go!	2003	strong typing	—
Halide	2012	static typing	—
Harbour	1999	dynamic typing, duck typing, safe typing, strong typing	—
Hartmann pipeline	1986	—	—
Haskell	1990	static typing, inference typing, strong typing	24
Haxe	2005	dynamic typing, static typing, nominative typing, inference typing	—
Hop	2006	dynamic typing, strong typing	—
Hope	1970	static typing	1
Idris	2007	static typing, dependent typing, linear typing, uniqueness typing	—
Impromptu	2005	dynamic typing	1
Incr Tcl	1993	dynamic typing	—
ISLISP	1997	—	—
ISWIM	1966	—	1
J	1990	dynamic typing	2
Java	1995	manifest typing, static typing, nominative typing, safe typing, strong typing	43
JavaScript	1995	dynamic typing, prototype-based programming, duck typing	25
Jq	2012	—	—
JS++	2011	dynamic typing, gradual typing, static typing	—
Julia	2009	dynamic typing, nominative typing, parametric polymorphism, strong typing	—
K	1993	dynamic typing, strong typing	1
Kent Recursive Calculator	1981	—	1
Kojo	2010	strong typing	—
Kotlin	2011	static typing, inference typing, strong typing	2
Lean	2013	—	1
LFE	2008	dynamic typing, strong typing	—