LTWlanguages & frameworks ltw://type-systems
  1. Home
  2. Type systems
  3. static typing

static typing

147 programming languages
LanguageAppearedParadigmsLanguages it influenced
.QL2007logic programming, declarative programming, object-oriented programming—
ABAP1983structured programming, imperative programming, object-oriented programming—
Abbreviated Test Language for All Systems1983multi-paradigm programming—
ActionScript1998prototype-based programming, functional programming, imperative programming, object-oriented programming1
Ada1980structured programming, imperative programming, multi-paradigm programming, object-oriented programming15
Agda2007purely functional programming1
Aldor1990functional programming, imperative programming, logic programming, object-oriented programming—
Alef2010concurrent computing, structured programming2
ALGOL 581958procedural programming, structured programming, imperative programming3
ALGOL 601960procedural programming, structured programming, imperative programming13
ALGOL 681968concurrent computing, imperative programming10
ALGOL W1966procedural programming, structured programming, imperative programming1
Alice2000concurrent computing, functional programming, imperative programming, constraint programming1
Alma-01997procedural programming, imperative programming, logic programming, constraint programming—
AMOS1990procedural programming, imperative programming—
AngelScript2003procedural programming, imperative programming, object-oriented programming—
Apache Groovy2003functional programming, imperative programming, multi-paradigm programming, object-oriented programming3
ATS2006functional programming, declarative programming—
Ballerina2017concurrent computing—
Beef—object-oriented programming—
BETA1992object-oriented programming—
Boo2003object-oriented programming2
Bosque2019functional programming—
C1972procedural programming, structured programming, imperative programming, multi-paradigm programming60
C*1987parallel programming, imperative programming, multi-paradigm programming, object-oriented programming—
C++1983generic programming, procedural programming, functional programming, multi-paradigm programming, object-oriented programming36
C--1997imperative programming—
Caml1985functional programming, imperative programming, multi-paradigm programming—
Caméléon2009functional programming—
Carbon2020——
Cecil1992object-oriented programming—
Ceylon2011functional programming, imperative programming, multi-paradigm programming, object-oriented programming—
Chapel2009parallel computing, array programming, object-oriented programming—
Charm1996structured programming—
CHILL1980procedural programming1
Cilk1994procedural programming, structured programming, parallel computing, imperative programming2
Claire1994reflective programming, functional programming, class-based programming language, object-oriented programming—
COBOL1959procedural programming, imperative programming, object-oriented programming4
Cobra2006functional programming, multi-paradigm programming, object-oriented programming—
Component Pascal1997structured programming, imperative programming, modular programming, object-oriented programming—
Cool1996object-oriented programming—
Coral 661964procedural programming, structured programming, imperative programming—
Crystal2014concurrent computing, multi-paradigm programming, object-oriented programming—
Cuneiform2013functional programming—
Curry1995functional programming, logic programming, constraint programming—
Cyclone2002—1
D2001functional programming, imperative programming, object-oriented programming5
Dart2011reflective programming, functional programming, imperative programming, multi-paradigm programming, object-oriented programming1
DBYTE—structured programming, imperative programming—
DIBOL1970procedural programming, structured programming, imperative programming—
Draco—procedural programming, structured programming, imperative programming—
EC2004generic programming, procedural programming, imperative programming, multi-paradigm programming, object-oriented programming—
Edinburgh IMP1966procedural programming, structured programming, imperative programming—
Eiffel1986generic programming, concurrent computing, multi-paradigm programming, class-based programming, object-oriented programming7
Elm2012functional programming, purely functional programming, reactive programming, functional reactive programming2
Emerald1980object-oriented programming—
Epigram2004functional programming2
Escher1990functional programming, logic programming, declarative programming—
Euclid1977procedural programming, functional programming, structured programming, imperative programming2
Euphoria1993procedural programming, imperative programming—
Executive Systems Problem Oriented Language1966procedural programming, structured programming, imperative programming—
F—procedural programming, array programming, modular programming—
F#2005reflective programming, concurrent computing, functional programming, imperative programming, metaprogramming, object-oriented programming4
F*—functional programming, imperative programming—
Fantom2005multi-paradigm programming, object-oriented programming—
Flix2016functional programming, imperative programming, logic programming—
Fortran1957generic programming, procedural programming, structured programming, imperative programming, array programming, object-oriented programming13
Fortress2006——
FreeBASIC2004procedural programming, object-oriented programming—
Futhark2014purely functional programming, array programming—
Genie2008structured programming, imperative programming, object-oriented programming—
Gleam2016concurrent computing, functional programming, multi-paradigm programming—
Go2009concurrent computing, procedural programming, functional programming, structured programming, imperative programming, object-oriented programming8
Gosu2002object-oriented programming1
Hack2014——
Halide2012functional programming, parallel programming—
Hare———
Haskell1990functional programming, purely functional programming, non-strict programming24
Haxe2005generic programming, functional programming, multi-paradigm programming, object-oriented programming—
Hope1970functional programming1