Home›Functional Language›Typing Discipline›Strongly TypedBrowse ByStrongly TypedThis dimension groups programming languages by their typing discipline, statically typed, dynamically typed or untyped. Wikipedia notes that a programming language is meant for "expressing computer programs, typically allowing software to be written in a human readable manner," and how it tracks data types is one of its most basic design choices. Browsing by typing discipline keeps languages that handle types the same way grouped together.FactsStrongly TypedSourcesComments (0)Reader Challenges (0)FactsComparisonEra of EmergenceWell-attested1956 CE 1Strongly TypedFilter Results20 entriesParadigmAllDependently Typed Proof Assistant Languages (2)Early Research Functional Languages (1)Erlang Virtual Machine Languages (2)Lisp Dialects (6)ML Dialects (4)Purely Functional Languages (5)First ReleasedAll1958 (1)1968 (1)1973 (2)1975 (1)1983 (1)1984 (1)1985 (3)1990 (1)1995 (1)1999 (1)2001 (1)2007 (2)2011 (1)2012 (2)2013 (2)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)PureScript (1)R (1)Ruby (1)Rust (1)ACM AreaAllArtificial Intelligence (1)Programming Language Theory (19)Invented ByAllDavid Turner (1)Gerald Jay Sussman (1)Guy L. Steele Jr. (1)Gérard Huet (1)John Hughes (1)John McCarthy (1)Lennart Augustsson (1)Matthias Felleisen (1)Paul Hudak (1)Philip Wadler (1)Rich Hickey (1)Richard P. Gabriel (1)Richard Stallman (1)Robin Milner (2)Scott Fahlman (1)Simon Peyton Jones (1)Valentin Turchin (1)Xavier Leroy (1)PredecessorAllScheme (1)LicenseAllApache License 2.0 (4)BSD 2-Clause (1)BSD 3-Clause (2)GNU GPL v3.0 (1)MIT (2)Show ResultsBrowseCompareSelect all 20AgdaStrongly TypedCamlStrongly TypedClojureStrongly TypedCommon LispStrongly TypedElixirStrongly TypedElmStrongly TypedEmacs LispStrongly TypedGleam (programming language)Strongly TypedHaskellStrongly TypedJoy (programming language)Strongly TypedLean (proof assistant)Strongly TypedLispStrongly TypedMirandaStrongly TypedML (programming language)Strongly TypedPureScriptStrongly TypedRacketStrongly TypedReasonMLStrongly TypedRefalStrongly TypedSchemeStrongly TypedStandard MLStrongly TypedSources1. 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.