ExpertClub
  1. Home
  2. Typing disciplines
  3. strong typing

strong typing

190 programming languages
LanguageParadigmsFirst appearedDeveloper
PureScriptpurely functional programming, functional programming2013—
Qfunctional programming, array programming2003—
Q#imperative programming, quantum programming, functional programming2017Microsoft Quantum Architectures and Computation group, Microsoft
QMLreactive programming, declarative programming2009Qt Project
QuakeCprocedural programming, structured programming, imperative programming1996Id Software
Racketreflective programming, procedural programming, functional programming, multi-paradigm programming, modular programming, language-oriented programming, metaprogramming, object-oriented programming1995Matthias Felleisen
REBOLfunctional programming, prototype-based programming, imperative programming, language-oriented programming1997—
Refalfunctional programming1968Valentin Turchin
RPGprocedural programming1959IBM
RTL/2procedural programming, structured programming, imperative programming1972John Barnes
Rubyreflective programming, functional programming, imperative programming, object-oriented programming1995Yukihiro Matsumoto
Rustgeneric programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming2006Mozilla, Rust Foundation, Graydon Hoare
Sobject-oriented programming, array programming, imperative programming1976John Chambers
SAC programming languagearray programming1994Sven-Bodo Scholz
Satherfunctional programming, object-oriented programming1990GNU Project
Scalaconcurrent computing, functional programming, imperative programming, object-oriented programming2004École polytechnique fédérale de Lausanne, Martin Odersky
Schemefunctional programming, procedural programming, imperative programming, metaprogramming1975—
SCM—1990Aubrey Jaffer
Seed7imperative programming, object-oriented programming, multi-paradigm programming, generic programming, reflective programming, structured programming2005—
Selfprototype-based programming, object-oriented programming1987Sun Microsystems, Randall Smith, Stanford University, David Ungar
SISALmulti-paradigm programming, functional programming, concurrent computing, dataflow programming1983—
Smalltalkobject-oriented programming, class-based programming1972Alan Kay, Dan Ingalls, Adele Goldberg, Diana Merry
SP/kstructured programming, imperative programming1974Ric Holt, James Cordy
SPARKprocedural programming1988Altran, University of Southampton
Speedcodingstructured programming, object-oriented programming, generic programming, procedural programming1953John Backus, IBM
SQLdeclarative programming1974International Organization for Standardization, Donald D. Chamberlin, Raymond F. Boyce
Standard MLmodular programming, imperative programming, functional programming, procedural programming1983Robin Milner
Standard ML of New Jerseyprocedural programming2002—
StarLogomulti-paradigm programming, procedural programming, agent-oriented programming2001MIT Media Lab
Swiftobject-oriented programming, functional programming, declarative programming, multi-paradigm programming, block-structured programming, imperative programming2014Chris Lattner, Apple Inc.
Swift LispKit———
Tfunctional programming, imperative programming, multi-paradigm programming, metaprogramming, object-oriented programming1982Stephen Slade
TADSprototype-based programming1988—
TI-BASIC 83procedural programming——
TTCN-3———
UnrealScriptgeneric programming, object-oriented programming1998—
Valaimperative programming, object-oriented programming, structured programming2006Jürg Billeter
Visual Prologfunctional programming, imperative programming, object-oriented programming, logic programming——
Vvvvvisual programming language1998—
Whileyimperative programming, functional programming2010—
Wolfram Languagefunctional programming, imperative programming, multi-paradigm programming, array programming, declarative programming, object-oriented programming1988Stephen Wolfram, Wolfram Research
X10concurrent computing, array programming, object-oriented programming2004IBM
XLmulti-paradigm programming, imperative programming, functional programming2000Christophe de Dinechin
XQuerymodular programming, declarative programming, functional programming2007—
Xtendfunctional programming, imperative programming, object-oriented programming2011TypeFox GmbH
Zigimperative programming, functional programming, procedural programming, concurrent computing, generic programming2015Andrew Kelley