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

strong typing

186 programming languages
LanguageAppearedParadigmsLanguages it influenced
.QL2007logic programming, declarative programming, object-oriented programming—
A+1988array programming—
ABAP1983structured programming, imperative programming, object-oriented programming—
Abbreviated Test Language for All Systems1983multi-paradigm programming—
ABC1975procedural programming, structured programming, imperative programming1
ActionScript1998prototype-based programming, functional programming, imperative programming, object-oriented programming1
Ada1980structured programming, imperative programming, multi-paradigm programming, object-oriented programming15
Agda2007purely functional programming1
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—
AmbientTalk2006reflective programming, event-driven programming, concurrent computing, prototype-based programming, object-oriented programming—
AngelScript2003procedural programming, imperative programming, object-oriented programming—
Apache Groovy2003functional programming, imperative programming, multi-paradigm programming, object-oriented programming3
Apex2007object-oriented programming—
Asymptote2004imperative programming—
Atom2007functional programming, declarative programming—
Ballerina2017concurrent computing—
BeanShell1999object-oriented programming—
Blitz BASIC2000imperative programming, object-oriented programming1
Boo2003object-oriented programming2
C#2001generic programming, reflective programming, event-driven programming, functional programming, structured programming, imperative programming, multi-paradigm programming, class-based programming, strict programming, object-oriented programming23
Caml1985functional programming, imperative programming, multi-paradigm programming—
Ceylon2011functional programming, imperative programming, multi-paradigm programming, object-oriented programming—
Charm1996structured programming—
Chez Scheme1985——
CHICKEN2000——
CHILL1980procedural programming1
ChucK2002concurrent computing, multi-paradigm programming, object-oriented programming—
Claire1994reflective programming, functional programming, class-based programming language, object-oriented programming—
Clean1987functional programming, purely functional programming2
Clojure2007concurrent computing, agent-oriented programming, functional programming, logic programming2
CLU1975procedural programming, object-oriented programming5
Cobra2006functional programming, multi-paradigm programming, object-oriented programming—
COMAL1975procedural programming, structured programming—
Common Lisp1984generic programming, reflective programming, procedural programming, functional programming, multi-paradigm programming, metaprogramming, object-oriented programming8
Component Pascal1997structured programming, imperative programming, modular programming, object-oriented programming—
Concurrent Euclid1980functional programming, structured programming, imperative programming—
Cool1996object-oriented programming—
Coral 661964procedural programming, structured programming, imperative programming—
Curl1998reflective programming, functional programming, multi-paradigm programming, declarative programming, object-oriented programming—
Curry1995functional programming, logic programming, constraint programming—
Cyclone2002—1
Cω2005multi-paradigm programming1
D2001functional programming, imperative programming, object-oriented programming5
Dart2011reflective programming, functional programming, imperative programming, multi-paradigm programming, object-oriented programming1
Darwin1991structured programming, imperative programming, object-oriented programming—
Delphi1995object-oriented programming1
Design By Numbers1999object-oriented programming1
Draco—procedural programming, structured programming, imperative programming—
Dylan1992functional programming, multi-paradigm programming, object-oriented programming3
E1997object-oriented programming—
Ease1991concurrent computing, parallel programming—
Edinburgh IMP1966procedural programming, structured programming, imperative programming—
Elixir2011concurrent computing, functional programming, process-oriented programming1
Elm2012functional programming, purely functional programming, reactive programming, functional reactive programming2
Emacs Lisp1985reflective programming, functional programming, metaprogramming—
Emerald1980object-oriented programming—
Epigram2004functional programming2
Erlang1986concurrent computing, functional programming, multi-paradigm programming, declarative programming8
Euclid1977procedural programming, functional programming, structured programming, imperative programming2
EuLisp1990multi-paradigm programming—
Executive Systems Problem Oriented Language1966procedural programming, structured programming, imperative programming—
Ezhil2007procedural programming, structured programming, imperative programming—
F#2005reflective programming, concurrent computing, functional programming, imperative programming, metaprogramming, object-oriented programming4
F*—functional programming, imperative programming—
Factor2003functional programming, concatenative programming, multi-paradigm programming, stack-oriented programming—
Fjölnir1980procedural programming, object-oriented programming—
Flix2016functional programming, imperative programming, logic programming—
Fortran1957generic programming, procedural programming, structured programming, imperative programming, array programming, object-oriented programming13
Franz Lisp1980reflective programming, procedural programming, functional programming, metaprogramming—
FreeBASIC2004procedural programming, object-oriented programming—
Futhark2014purely functional programming, array programming—
Gambit———
Game Oriented Assembly Lisp2001imperative programming, object-oriented programming—
Genie2008structured programming, imperative programming, object-oriented programming—