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

static typing

147 programming languages
LanguageAppearedParadigmsLanguages it influenced
Idris2007total functional programming, functional programming, purely functional programming—
Jai—procedural programming—
Java1995generic programming, reflective programming, functional programming, structured programming, imperative programming, class-based programming, concurrent object-oriented programming, component-based software engineering, object-oriented programming43
JavaFX Script2008scripting language, declarative programming—
JOVIAL1960procedural programming, structured programming, imperative programming1
JS++2011generic programming, functional programming, structured programming, imperative programming, object-oriented programming—
Kotlin2011generic programming, reflective programming, concurrent computing, functional programming, structured programming, imperative programming, declarative programming, object-oriented programming2
LPC1989procedural programming, prototype-based programming, functional programming, object-oriented programming1
Mary1971imperative programming—
Mercury1995functional programming, logic programming, purely functional programming, multi-paradigm programming, object-oriented programming—
Mesa1976procedural programming2
Mirah2008imperative programming, object-oriented programming—
Miranda1985purely functional programming, declarative programming3
ML1973procedural programming, functional programming, imperative programming18
Modula1975procedural programming, imperative programming, modular programming4
Modula-21978concurrent computing, structured programming, imperative programming, modular programming9
Move2019——
Nemerle2003procedural programming, functional programming, imperative programming, multi-paradigm programming, metaprogramming, object-oriented programming—
NetRexx1996procedural programming, structured programming, object-oriented programming—
NEWP—procedural programming, structured programming, imperative programming—
Nim2008concurrent computing, procedural programming, functional programming, imperative programming, macro metaprogramming, metaprogramming, object-oriented programming—
Oberon1987procedural programming, structured programming, imperative programming, modular programming, object-oriented programming7
Object Pascal1986generic programming, procedural programming, structured programming, imperative programming, multi-paradigm programming, object-oriented programming6
Objective-C1984reflective programming, multi-paradigm programming, class-based programming, object-oriented programming5
OCaml1996functional programming, imperative programming, modular programming, object-oriented programming12
Opa2011functional programming, imperative programming, multi-paradigm programming—
OpenCL2009generic programming, structured programming, imperative programming, object-oriented programming—
ParaSail2009concurrent computing, procedural programming, structured programming, parallel computing, object-oriented programming—
Pascal1970structured programming, imperative programming27
Pike1994procedural programming, functional programming, object-oriented programming—
PL3601966procedural programming, structured programming, imperative programming—
PLEXIL2005multi-paradigm programming—
Plus1976procedural programming, structured programming, imperative programming—
Programming Language for Business1972procedural programming, imperative programming—
PureScript2013functional programming, purely functional programming—
Q#2017functional programming, imperative programming, quantum programming—
QuakeC1996procedural programming, structured programming, imperative programming—
Reason2016functional programming1
ReScript2015functional programming—
Roc—functional programming—
RPG1959procedural programming4
RTL/21972procedural programming, structured programming, imperative programming1
Rust2006generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming12
Sather1990functional programming, object-oriented programming—
Scala2004concurrent computing, functional programming, imperative programming, object-oriented programming9
Seed72005generic programming, reflective programming, structured programming, imperative programming, multi-paradigm programming, object-oriented programming—
SequenceL1989parallel computing, purely functional programming, array programming, declarative programming—
Simula1962procedural programming, structured programming, imperative programming, object-oriented programming10
SISAL1983dataflow programming, concurrent computing, functional programming, multi-paradigm programming—
Solidity2014——
SP/k1974structured programming, imperative programming1
SPARK1988procedural programming—
Speedcoding1953generic programming, procedural programming, structured programming, object-oriented programming1
SQL1974declarative programming3
Standard ML1983procedural programming, functional programming, imperative programming, modular programming7
Strongtalk2002object-oriented programming1
Swift2014functional programming, imperative programming, block-structured programming, multi-paradigm programming, declarative programming, object-oriented programming5
SystemVerilog2002structured programming, object-oriented programming—
Turing1982procedural programming, object-oriented programming—
Umple2008object-oriented programming—
UnrealScript1998generic programming, object-oriented programming—
Vala2006structured programming, imperative programming, object-oriented programming—
Visual Prolog—functional programming, imperative programming, logic programming, object-oriented programming—
X102004concurrent computing, array programming, object-oriented programming—
XQuery2007functional programming, declarative programming, modular programming—
Xtend2011functional programming, imperative programming, object-oriented programming—
Zig2015generic programming, concurrent computing, procedural programming, functional programming, imperative programming1