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

strong typing

186 programming languages
LanguageAppearedParadigmsLanguages it influenced
GNU E1991object-oriented programming—
Go2009concurrent computing, procedural programming, functional programming, structured programming, imperative programming, object-oriented programming8
Go!2003concurrent computing, functional programming, imperative programming, logic programming—
Gödel1992logic programming, declarative programming—
Harbour1999reflective programming, procedural programming, functional programming, imperative programming, multi-paradigm programming, declarative programming, object-oriented programming—
Haskell1990functional programming, purely functional programming, non-strict programming24
Hop2006multitier programming, functional programming, multi-paradigm programming—
Io2002prototype-based programming, object-oriented programming3
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
JOVIAL1960procedural programming, structured programming, imperative programming1
Joy2001purely functional programming, concatenative programming, stack-oriented programming2
Judoscript2001object-oriented programming—
Julia2009procedural programming, multiple dispatch, functional programming, parallel computing, imperative programming, multi-paradigm programming, array programming, metaprogramming, object-oriented programming—
K1993functional programming, array programming1
Kojo2010functional programming, object-oriented programming—
Kotlin2011generic programming, reflective programming, concurrent computing, functional programming, structured programming, imperative programming, declarative programming, object-oriented programming2
LFE2008functional programming—
Limbo1995concurrent computing, modular programming2
Lisp1958reflective programming, procedural programming, functional programming, multi-paradigm programming, metaprogramming39
Little b2004functional programming, object-oriented programming—
LPC1989procedural programming, prototype-based programming, functional programming, object-oriented programming1
Lua1993procedural programming, prototype-based programming, functional programming, imperative programming, multi-paradigm programming, object-oriented programming9
Mary1971imperative programming—
MDL1971reflective programming, procedural programming, functional programming, metaprogramming1
Mercury1995functional programming, logic programming, purely functional programming, multi-paradigm programming, object-oriented programming—
Mesa1976procedural programming2
MetaPost1994imperative programming, declarative programming1
MiniZinc2009constraint programming—
Mirah2008imperative programming, object-oriented programming—
Miranda1985purely functional programming, declarative programming3
MIT/GNU Scheme———
ML1973procedural programming, functional programming, imperative programming18
Modula1975procedural programming, imperative programming, modular programming4
Modula-21978concurrent computing, structured programming, imperative programming, modular programming9
Modula-2+1984concurrent computing, imperative programming, modular programming—
Nemerle2003procedural programming, functional programming, imperative programming, multi-paradigm programming, metaprogramming, object-oriented programming—
NetLogo1999agent-oriented programming, procedural 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—
Oaklisp1986object-oriented programming—
Oberon1987procedural programming, structured programming, imperative programming, modular programming, object-oriented programming7
Oberon-21991imperative programming, object-oriented programming2
Object Pascal1986generic programming, procedural programming, structured programming, imperative programming, multi-paradigm programming, object-oriented programming6
Obliq1993prototype-based programming, structured programming, parallel computing, imperative programming, modular programming, object-oriented programming—
OCaml1996functional programming, imperative programming, modular programming, object-oriented programming12
Opa2011functional programming, imperative programming, multi-paradigm programming—
Pan—declarative programming—
ParaSail2009concurrent computing, procedural programming, structured programming, parallel computing, object-oriented programming—
Pascal1970structured programming, imperative programming27
Pascal Script2000procedural programming, imperative programming, multi-paradigm programming, object-oriented programming—
PicoLisp1988reflective programming, procedural programming, functional programming, declarative programming, metaprogramming, object-oriented programming—
PL/C1973procedural programming, structured programming, imperative programming—
PL/I1964concurrent computing, procedural programming, structured programming, imperative programming6
PL3601966procedural programming, structured programming, imperative programming—
Plus1976procedural programming, structured programming, imperative programming—
Power Fx—functional programming, imperative programming, declarative programming—
PowerShell2006reflective programming, procedural programming, functional programming, imperative programming, object-oriented programming—
Programming Language for Business1972procedural programming, imperative programming—
ProvideX1992procedural programming, object-oriented programming—
Pure2008functional programming, declarative programming—
PureScript2013functional programming, purely functional programming—
Q2003functional programming, array programming—
Q#2017functional programming, imperative programming, quantum programming—
QML2009reactive programming, declarative programming2
QuakeC1996procedural programming, structured programming, imperative programming—
Racket1995reflective programming, procedural programming, functional programming, multi-paradigm programming, modular programming, language-oriented programming, metaprogramming, object-oriented programming—
REBOL1997prototype-based programming, functional programming, imperative programming, language-oriented programming2
Refal1968functional programming—
RPG1959procedural programming4
RTL/21972procedural programming, structured programming, imperative programming1
Ruby1995reflective programming, functional programming, imperative programming, object-oriented programming11
Rust2006generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming12
S1976imperative programming, array programming, object-oriented programming1
SAC programming language1994array programming—
Sather1990functional programming, object-oriented programming—
Scala2004concurrent computing, functional programming, imperative programming, object-oriented programming9
Scheme1975procedural programming, functional programming, imperative programming, metaprogramming16
SCM1990——