Home›Functional Language›All Functional LanguageBrowse ByAll Functional LanguageReference and ClassificationDevelopingA language built around evaluating mathematical functions and treating computation as the application of functions to values rather than a sequence of state-changing statements, matching ACM Computing Classification System Language types: Functional languages. Belongs here: Haskell, Lisp, Scheme and Standard ML. Does not belong here: a language that supports functional style alongside procedural or object-oriented style as an equal option, filed under Multi-Paradigm Language.FactsAll Functional LanguageSourcesComments (0)Reader Challenges (0)FactsComparisonEra of EmergenceWell-attested1956 CE 1All Functional LanguageFilter Results33 entriesParadigmAllDependently Typed Proof Assistant Languages (4)Early Research Functional Languages (6)Erlang Virtual Machine Languages (2)Lisp Dialects (6)ML Dialects (4)Purely Functional Languages (5)First ReleasedAll1958 (1)1966 (1)1967 (1)1968 (1)1970 (1)1973 (2)1975 (1)1977 (1)1980 (1)1983 (1)1984 (1)1985 (3)1986 (1)1989 (2)1990 (1)1993 (1)1995 (1)1999 (1)2001 (2)2007 (3)2011 (1)2012 (2)2013 (3)2016 (2)LineageAllAgda (1)AspectJ (1)Ballerina (programming language) (1)Clojure (2)CoffeeScript (1)Common Lisp (1)Dylan (programming language) (2)Elixir (1)Elm (1)Emacs Lisp (2)Gleam (programming language) (1)GNU Guile (1)Haskell (2)Idris (1)Julia (1)Nemerle (1)OCaml (1)Processing (1)PureScript (1)R (1)Rebol (1)Ruby (1)Rust (1)Scratch (programming language) (1)Smalltalk (1)ACM AreaAllArtificial Intelligence (1)Formal Methods (1)Programming Language Theory (29)Invented ByAllAubrey Jaffer (2)Christine Paulin-Mohring (1)David Betz (1)David Turner (1)Gerald Jay Sussman (1)Guy L. Steele Jr. (1)Gérard Huet (2)Hongwei Xi (1)John Backus (1)John Hughes (1)John McCarthy (1)Lennart Augustsson (1)Matthias Felleisen (1)Paul Graham (1)Paul Hudak (1)Peter Landin (1)Philip Wadler (1)Rich Hickey (1)Richard P. Gabriel (1)Richard Stallman (1)Robert Tappan Morris (1)Robin Milner (2)Robin Popplestone (1)Rod Burstall (2)Scott Fahlman (1)Simon Peyton Jones (1)Thierry Coquand (1)Tom Lord (1)Valentin Turchin (1)Xavier Leroy (1)PredecessorAllGNU Guile (1)Scheme (1)Typing DisciplineAllDuck Typed (1)Dynamically Typed (12)Gradual Typing (1)Statically Typed (12)Strongly Typed (20)LicenseAllApache License 2.0 (4)BSD 2-Clause (1)BSD 3-Clause (2)GNU GPL v3.0 (1)GNU LGPL v2.1 (1)MIT (2)Show ResultsBrowseCompareSelect all 33AgdaFunctional LanguageArc (programming language)Functional LanguageATS (programming language)Functional LanguageAutoLISPFunctional LanguageCamlFunctional LanguageClojureFunctional LanguageCommon LispFunctional LanguageCoq (proof assistant)Functional LanguageElixirFunctional LanguageElmFunctional LanguageEmacs LispFunctional LanguageFL (programming language)Functional LanguageFP (programming language)Functional LanguageGleam (programming language)Functional LanguageGNU GuileFunctional LanguageHaskellFunctional LanguageHope (programming language)Functional LanguageIdrisFunctional LanguageISWIMFunctional LanguageJoy (programming language)Functional LanguageLean (proof assistant)Functional LanguageLispFunctional LanguageLogoFunctional LanguageMirandaFunctional LanguageML (programming language)Functional LanguagePOP-2Functional LanguagePureScriptFunctional LanguageRacketFunctional LanguageReasonMLFunctional LanguageRefalFunctional LanguageSchemeFunctional LanguageSCM (Scheme implementation)Functional LanguageStandard MLFunctional LanguageSources1. Wikipedia: Functional programmingtier 2WikipediaFunctional programming, History sectionQuote, Functional programming, History sectionInformation Processing Language (IPL), 1956, is sometimes cited as the first computer-based functional programming language.View the SourceComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.