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

static typing

148 programming languages
LanguageParadigmsFirst appearedDeveloper
Move—2019—
Nemerlemetaprogramming, object-oriented programming, multi-paradigm programming, imperative programming, procedural programming, functional programming2003JetBrains, University of Wrocław
NetRexxobject-oriented programming, structured programming, procedural programming1996IBM
NEWPimperative programming, structured programming, procedural programming—Burroughs Corporation
Nimmetaprogramming, concurrent computing, procedural programming, functional programming, imperative programming, macro metaprogramming, object-oriented programming2008—
Oberonprocedural programming, structured programming, imperative programming, modular programming, object-oriented programming1987Niklaus Wirth
Object Pascalgeneric programming, procedural programming, structured programming, imperative programming, multi-paradigm programming, object-oriented programming1986Larry Tesler, Niklaus Wirth, Apple Inc., Borland
Objective-Cobject-oriented programming, class-based programming, multi-paradigm programming, reflective programming1984—
OCamlfunctional programming, modular programming, object-oriented programming, imperative programming1996Institut National de Recherche en Informatique et en Automatique
Opaimperative programming, multi-paradigm programming, functional programming2011—
OpenCLobject-oriented programming, imperative programming, structured programming, generic programming2009Khronos Group
ParaSailconcurrent computing, parallel computing, object-oriented programming, procedural programming, structured programming2009—
Pascalimperative programming, structured programming1970Niklaus Wirth
Pictconcurrent computing, functional programming——
Pikeprocedural programming, object-oriented programming, functional programming1994—
PL360procedural programming, structured programming, imperative programming1966—
PLEXILmulti-paradigm programming2005—
Plusprocedural programming, structured programming, imperative programming1976University of British Columbia
Programming Language for Businessprocedural programming, imperative programming1972—
PureScriptpurely functional programming, functional programming2013—
Q#imperative programming, quantum programming, functional programming2017Microsoft Quantum Architectures and Computation group, Microsoft
QuakeCprocedural programming, structured programming, imperative programming1996Id Software
Reasonfunctional programming2016Meta Platforms
ReScriptfunctional programming2015Bloomberg L.P.
Rocfunctional programming——
RPGprocedural programming1959IBM
RTL/2procedural programming, structured programming, imperative programming1972John Barnes
Rustgeneric programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming2006Mozilla, Rust Foundation, Graydon Hoare
Satherfunctional programming, object-oriented programming1990GNU Project
Scalaconcurrent computing, functional programming, imperative programming, object-oriented programming2004École polytechnique fédérale de Lausanne, Martin Odersky
Seed7imperative programming, object-oriented programming, multi-paradigm programming, generic programming, reflective programming, structured programming2005—
SequenceLparallel computing, purely functional programming, array programming, declarative programming1989—
Simulaimperative programming, procedural programming, structured programming, object-oriented programming1962Kristen Nygaard
SISALmulti-paradigm programming, functional programming, concurrent computing, dataflow programming1983—
Solidity—2014—
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
Strongtalkobject-oriented programming2002—
Swiftobject-oriented programming, functional programming, declarative programming, multi-paradigm programming, block-structured programming, imperative programming2014Chris Lattner, Apple Inc.
SystemVerilogstructured programming, object-oriented programming2002—
Turingprocedural programming, object-oriented programming1982Holt Software Associates
Umpleobject-oriented programming2008—
UnrealScriptgeneric programming, object-oriented programming1998—
Valaimperative programming, object-oriented programming, structured programming2006Jürg Billeter
Visual Prologfunctional programming, imperative programming, object-oriented programming, logic programming——