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

strong typing

190 programming languages
LanguageParadigmsFirst appearedDeveloper
.QLlogic programming, declarative programming, object-oriented programming2007Semmle
A+array programming1988Morgan Stanley
ABAPstructured programming, object-oriented programming, imperative programming1983SAP
Abbreviated Test Language for All Systemsmulti-paradigm programming1983Institute of Electrical and Electronics Engineers
ABCprocedural programming, structured programming, imperative programming1975Centrum Wiskunde & Informatica
ActionScriptprototype-based programming, object-oriented programming, functional programming, imperative programming1998Macromedia
Adastructured programming, object-oriented programming, multi-paradigm programming, imperative programming1980Jean Ichbiah, S. Tucker Taft
Agdapurely functional programming2007Chalmers University of Technology
Alefconcurrent computing, structured programming2010—
ALGOL 58imperative programming, structured programming, procedural programming—Klaus Samelson, Heinz Rutishauser, Charles Katz, Friedrich L. Bauer, Alan Perlis, John Backus
ALGOL 60procedural programming, structured programming, imperative programming—Peter Naur, Adriaan van Wijngaarden, Klaus Samelson, John Backus, John McCarthy, Heinz Rutishauser, Charles Katz, Bernard Vauquois, Alan Perlis, Friedrich L. Bauer
ALGOL 68imperative programming, concurrent computing—Adriaan van Wijngaarden, John E. L. Peck, Cornelis H. A. Koster, Barry J. Mailloux
ALGOL Wstructured programming, procedural programming, imperative programming1966Tony Hoare, Niklaus Wirth
Aliceconstraint programming, imperative programming, functional programming, concurrent computing2000Saarland University
Alma-0constraint programming, logic programming, imperative programming, procedural programming1997Centrum Wiskunde & Informatica
AmbientTalkreflective programming, concurrent computing, prototype-based programming, object-oriented programming, event-driven programming2006—
AngelScriptimperative programming, procedural programming, object-oriented programming2003—
Apache Groovyobject-oriented programming, multi-paradigm programming, imperative programming, functional programming2003Java Community Process, Apache Software Foundation
Apexobject-oriented programming2007Salesforce
Asymptoteimperative programming2004—
Atomfunctional programming, declarative programming2007—
Ballerinaconcurrent computing2017WSO2
BeanShellobject-oriented programming1999—
Blitz BASICimperative programming, object-oriented programming2000—
Booobject-oriented programming2003Rodrigo B. De Oliveira
C#object-oriented programming, strict programming, functional programming, event-driven programming, reflective programming, generic programming, structured programming, class-based programming, imperative programming, multi-paradigm programming2001Microsoft
Camlfunctional programming, multi-paradigm programming, imperative programming1985Institut National de Recherche en Informatique et en Automatique
Ceylonfunctional programming, imperative programming, multi-paradigm programming, object-oriented programming2011Gavin King, Red Hat
Charmstructured programming1996—
Chez Scheme—1985Cadence Research Systems, Cisco
CHICKEN—2000—
CHILLprocedural programming1980—
ChucKmulti-paradigm programming, object-oriented programming, concurrent computing2002—
Clairereflective programming, functional programming, class-based programming language, object-oriented programming1994—
Cleanpurely functional programming, functional programming1987—
Clojureconcurrent computing, logic programming, agent-oriented programming, functional programming2007Richard Hickey
CLUobject-oriented programming, procedural programming1975Massachusetts Institute of Technology, Barbara Liskov
Cobrafunctional programming, multi-paradigm programming, object-oriented programming2006—
COMALstructured programming, procedural programming1975—
Common Lispgeneric programming, reflective programming, procedural programming, functional programming, multi-paradigm programming, metaprogramming, object-oriented programming1984Common Lisp committee, J13
Component Pascalimperative programming, structured programming, modular programming, object-oriented programming1997—
Concurrent Euclidfunctional programming, structured programming, imperative programming1980Ric Holt, James Cordy
Coolobject-oriented programming1996—
Coral 66procedural programming, structured programming, imperative programming1964—
Curlreflective programming, functional programming, multi-paradigm programming, declarative programming, object-oriented programming1998SCSK Corporation, Steve Ward
Curryconstraint programming, logic programming, functional programming1995Kiel University
Cyclone—2002AT&T
Cωmulti-paradigm programming2005Microsoft Research