Language

Erlang

Programming language

1986Appeared

dynamic typing, strong typingType system

29.1.2Latest version

8Languages it influenced

Facts

Appeared: 1986
Type system: dynamic typing, strong typing
Latest version: 29.1.2 (October 14, 2026)
Languages it influenced: 8
Kind: open-source software, declarative programming language, multi-paradigm programming language, skill, concurrent programming language, free software, functional programming language
Paradigms: concurrent computing, functional programming, multi-paradigm programming, declarative programming
Designed by: Joe Armstrong
Developer: Robert Virding, Joe Armstrong, Ericsson
Influenced by: Lisp, Ada, Prolog, Smalltalk, CHILL, PLEX, Modula-2, Miranda, ML
Implemented in: C
File extensions: .erl
Licence: Apache Software License 2.0
Operating system: cross-platform
Influences listed: 9

Language	Appeared	Paradigms	Type system	Languages it influenced
CoffeeScript	2009	prototype-based programming, functional programming, imperative programming, aspect-oriented programming, multi-paradigm programming	dynamic typing	2
Dart	2011	reflective programming, functional programming, imperative programming, multi-paradigm programming, object-oriented programming	static typing, inference typing, strong typing	1
Elixir	2011	concurrent computing, functional programming, process-oriented programming	dynamic typing, duck typing, strong typing	1
F#	2005	reflective programming, concurrent computing, functional programming, imperative programming, metaprogramming, object-oriented programming	static typing, inference typing, strong typing	4
Gleam	2016	concurrent computing, functional programming, multi-paradigm programming	static typing, safe typing	—
Oz	1991	concurrent computing, prototype-based programming, functional programming, imperative programming, multi-paradigm programming, constraint programming, object-oriented programming	dynamic typing	2
Rust	2006	generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming	static typing, nominative typing, inference typing, linear typing, strong typing	12
Scala	2004	concurrent computing, functional programming, imperative programming, object-oriented programming	static typing, inference typing, structural typing, strong typing	9

Language	Appeared	Paradigms	Type system	Languages it influenced
Cuneiform	2013	functional programming	static typing	—
Reia	—	—	—	—

Framework	Kind	Licence
LYME	software distribution, web framework, free and open-source software	—