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

static typing

148 programming languages
LanguageParadigmsFirst appearedDeveloper
.QLlogic programming, declarative programming, object-oriented programming2007Semmle
ABAPstructured programming, object-oriented programming, imperative programming1983SAP
Abbreviated Test Language for All Systemsmulti-paradigm programming1983Institute of Electrical and Electronics Engineers
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
Aldorlogic programming, functional programming, imperative programming, object-oriented programming1990IBM Thomas J. Watson Research Center
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
AMOSprocedural programming, imperative programming1990François Lionet
AngelScriptimperative programming, procedural programming, object-oriented programming2003—
Apache Groovyobject-oriented programming, multi-paradigm programming, imperative programming, functional programming2003Java Community Process, Apache Software Foundation
ATSdeclarative programming, functional programming2006Boston University
Ballerinaconcurrent computing2017WSO2
Beefobject-oriented programming——
BETAobject-oriented programming1992Kristen Nygaard
Booobject-oriented programming2003Rodrigo B. De Oliveira
Bosquefunctional programming2019Microsoft Research
Cmulti-paradigm programming, imperative programming, structured programming, procedural programming1972Dennis M. Ritchie, Bell Labs, American National Standards Institute, International Organization for Standardization, Ken Thompson
C*imperative programming, multi-paradigm programming, object-oriented programming, parallel programming1987—
C++object-oriented programming, multi-paradigm programming, functional programming, procedural programming, generic programming1983Bjarne Stroustrup
C--imperative programming1997Norman Ramsey, Simon Peyton Jones
Camlfunctional programming, multi-paradigm programming, imperative programming1985Institut National de Recherche en Informatique et en Automatique
Caméléonfunctional programming2009—
Carbon—2020Google
Cecilobject-oriented programming1992—
Ceylonfunctional programming, imperative programming, multi-paradigm programming, object-oriented programming2011Gavin King, Red Hat
Chapelobject-oriented programming, array programming, parallel computing2009Brad Chamberlain, Cray
Charmstructured programming1996—
CHILLprocedural programming1980—
Cilkstructured programming, imperative programming, procedural programming, parallel computing1994Charles E. Leiserson
Clairereflective programming, functional programming, class-based programming language, object-oriented programming1994—
COBOLobject-oriented programming, imperative programming, procedural programming1959CODASYL, International Organization for Standardization, American National Standards Institute
Cobrafunctional programming, multi-paradigm programming, object-oriented programming2006—
Component Pascalimperative programming, structured programming, modular programming, object-oriented programming1997—
Coolobject-oriented programming1996—
Coral 66procedural programming, structured programming, imperative programming1964—
Crystalobject-oriented programming, multi-paradigm programming, concurrent computing2014Ary Borenzweig, Manas Technology Solutions
Cuneiformfunctional programming2013Humboldt-Universität zu Berlin
Curryconstraint programming, logic programming, functional programming1995Kiel University
Cyclone—2002AT&T
Dfunctional programming, imperative programming, object-oriented programming2001Walter Bright, D Language Foundation
Dartobject-oriented programming, multi-paradigm programming, imperative programming, functional programming, reflective programming2011Google