Home›Programming Languages›Typing Discipline›Statically TypedBrowse ByStatically 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.Statically TypedSourcesComments (0)Reader Challenges (0)Statically TypedFilter Results83 entriesParadigmAllALGOL-Derived Languages (11)Answer Set and Functional Logic Languages (1)BASIC Dialects (1)Business and Data Processing Languages (4)C Lineage Languages (1)C-Family Object-Oriented Languages (8)Channel-Based and CSP-Inspired Concurrent Languages (2)Cross-Platform and Cloud Multi-Paradigm Languages (3)Declarative Research Languages (1)Dependently Typed Proof Assistant Languages (3)Discrete-Event and Physical System Modeling Languages (1)Early High-Level Languages and Coding Systems (3)Erlang Virtual Machine Languages (1)General-Purpose Multi-Paradigm Languages (4)Hardware Description Languages (2)Languages That Succeed or Extend an Earlier Systems Language (3)ML Dialects (4)ML-Descended Multi-Paradigm Languages (3)Modern Systems Programming Languages (5)Object-Oriented Extensions and Reliability-Focused Languages (2)Object-Oriented Languages on the .NET Platform (1)Parallel and Distributed Programming Languages (3)Prolog and Its Close Relatives (1)Purely Functional Languages (4)SQL and Its Procedural Extensions (1)Statically Typed JavaScript Supersets (1)Structured Programming Languages (2)XML Query and Transformation Languages (1)First ReleasedAll1957 (1)1958 (3)1959 (5)1960 (2)1962 (1)1964 (1)1966 (1)1967 (1)1968 (1)1970 (1)1972 (1)1973 (2)1974 (1)1975 (1)1976 (1)1978 (1)1980 (1)1982 (2)1983 (3)1984 (2)1985 (3)1986 (5)1987 (1)1988 (1)1989 (1)1990 (1)1994 (1)1995 (3)1996 (3)1999 (1)2001 (1)2002 (2)2003 (3)2004 (3)2005 (2)2006 (2)2007 (3)2008 (1)2009 (3)2010 (2)2011 (3)2012 (1)2013 (2)2014 (4)2015 (1)2016 (3)2017 (1)2019 (1)2022 (1)LineageAllABAP (1)Ada (1)Agda (1)ALGOL (1)Ballerina (programming language) (3)BASIC (2)C# (1)C++ (3)Carbon (1)CoffeeScript (1)CORAL 66 (1)CPL (programming language) (1)D (1)Eiffel (1)Elm (1)Gleam (programming language) (1)Go (1)Haskell (2)Haxe (2)Icon (programming language) (1)Idris (1)Java (2)JavaScript (1)Julia (1)Karel (programming language) (1)Kotlin (3)Lua (2)Mesa (programming language) (1)Modula-2 (1)Modula-3 (1)MUMPS (1)NELIAC (1)Nemerle (2)Nim (5)OCaml (2)Odin (programming language) (1)OpenCL (1)Pascal (1)Perl (2)PHP (2)PL/I (3)PL/M (1)PowerShell (1)PureScript (1)Rust (2)Scheme (1)SETL (1)Smalltalk (1)Solidity (1)Squirrel (programming language) (1)SystemVerilog (1)Turbo Pascal (1)Turing (programming language) (1)V (programming language) (3)Vala (programming language) (3)VHDL (1)Wolfram Language (3)X10 (programming language) (1)Zig (2)ACM AreaAllComputer Architecture (2)Databases (1)Embedded Systems (1)Operating Systems (1)Parallel Computing (1)Programming Language Theory (66)Software Engineering (11)Invented ByAllAdriaan van Wijngaarden (2)Alan Perlis (2)Andrey Breslav (1)Bernard Galler (1)Bernard Vauquois (1)Bertrand Meyer (1)Bjarne Stroustrup (2)Brad Cox (1)Bruce Arden (1)Chris Lattner (1)Cornelis H. A. Koster (1)David Turner (1)Dennis Ritchie (1)Donald Chamberlin (1)Friedrich L. Bauer (2)Gavin Wood (1)Grace Hopper (1)Graydon Hoare (1)Guy L. Steele Jr. (1)Gérard Huet (1)Harry Huskey (1)Heinz Rutishauser (2)James Gosling (1)Jean Ichbiah (1)John Backus (3)John E. L. Peck (1)John Hughes (1)John McCarthy (1)Joseph Henry Wegstein (2)Ken Thompson (1)Klaus Samelson (2)Kristen Nygaard (1)Larry Tesler (1)Lars Bak (1)Lennart Augustsson (1)Luca Cardelli (1)Martin Odersky (1)Niklaus Wirth (7)Ole-Johan Dahl (1)Paul Hudak (1)Peter Naur (1)Philip Moorby (1)Philip Wadler (1)Philip Woodward (1)Rob Pike (1)Robert Griesemer (1)Robin Milner (2)Simon Peyton Jones (1)Tony Hoare (1)Walter Bright (1)Xavier Leroy (2)PredecessorAllALGOL 68 (1)ALGOL W (1)CPL (programming language) (1)Oberon (1)Objective-C (1)Pascal (1)Swift (1)LicenseAllApache License 2.0 (12)BSD 2-Clause (2)BSD 3-Clause (5)Eclipse Public License 1.0 (1)GNU GPL v2.0 (1)GNU GPL v3.0 (1)GNU LGPL v2.1 (2)ISC License (1)MIT (6)Proprietary (Closed Source) (1)Show ResultsBrowseCompareSelect all 83ABAPStatically TypedAdaStatically TypedAgdaStatically TypedAlef (programming language)Statically TypedALGOLStatically TypedALGOL 58Statically TypedALGOL 60Statically TypedALGOL 68Statically TypedALGOL WStatically TypedBallerina (programming language)Statically TypedBoo (programming language)Statically TypedCStatically TypedC with ClassesStatically TypedC++Statically TypedCamlStatically TypedCarbonStatically TypedChapelStatically TypedCilkStatically TypedCOBOLStatically TypedCORAL 66Statically TypedCrystalStatically TypedCurry (programming language)Statically TypedDStatically TypedDafnyStatically TypedDartStatically TypedEiffelStatically TypedElmStatically TypedF (programming language)Statically TypedF#Statically TypedFortranStatically TypedFortress (programming language)Statically TypedFreeBASICStatically TypedFuthark (programming language)Statically TypedGleam (programming language)Statically TypedGoStatically TypedGosu (programming language)Statically TypedGroovyStatically TypedHaskellStatically TypedHaxeStatically TypedIBM RPGStatically TypedIdrisStatically TypedJADE (programming language)Statically TypedJavaStatically TypedJOVIALStatically TypedJS++Statically TypedKotlinStatically TypedLean (proof assistant)Statically TypedMAD (Michigan Algorithm Decoder)Statically TypedMercuryStatically TypedMesa (programming language)Statically TypedMirandaStatically TypedML (programming language)Statically TypedModulaStatically TypedModula-2Statically TypedModula-3Statically TypedNELIACStatically TypedNemerleStatically TypedNimStatically TypedOberonStatically TypedObject PascalStatically TypedObjective-CStatically TypedOCamlStatically TypedPascalStatically TypedPony (programming language)Statically TypedPureScriptStatically TypedReasonMLStatically TypedRPGStatically TypedRustStatically TypedScalaStatically TypedSimulaStatically TypedSolidityStatically TypedSQLStatically TypedStandard MLStatically TypedSwiftStatically TypedSystemVerilogStatically TypedTuring (programming language)Statically TypedV (programming language)Statically TypedVala (programming language)Statically TypedVerilogStatically TypedVisual PrologStatically TypedX10 (programming language)Statically TypedXQueryStatically TypedZigStatically TypedSourcesWikipedia: Rust (programming language)tier 2Wikimedia FoundationContains: Rust, IntroductionView the SourceWikipedia: Go (programming language)tier 2Wikimedia FoundationContains: Go, IntroductionView the SourceWikipedia: Perltier 2Wikimedia FoundationContains: Perl, IntroductionView the SourceWikipedia: Assembly languagetier 2WikipediaContains: Assembly Language, IntroductionView 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.