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

strong typing

190 programming languages
LanguageParadigmsFirst appearedDeveloper
Kojoobject-oriented programming, functional programming2010—
Kotlinconcurrent computing, functional programming, structured programming, imperative programming, declarative programming, object-oriented programming, generic programming, reflective programming2011JetBrains
LFEfunctional programming2008—
Limboconcurrent computing, modular programming1995Bell Labs
Lispmulti-paradigm programming, functional programming, procedural programming, reflective programming, metaprogramming1958John McCarthy, Steve Russell
Little bobject-oriented programming, functional programming2004Harvard Medical School
LPCobject-oriented programming, procedural programming, prototype-based programming, functional programming1989Lars Pensjö
Luaprocedural programming, prototype-based programming, functional programming, imperative programming, multi-paradigm programming, object-oriented programming1993Roberto Ierusalimschy
Maryimperative programming1971SINTEF
MDLprocedural programming, reflective programming, metaprogramming, functional programming1971—
Mercuryobject-oriented programming, multi-paradigm programming, purely functional programming, logic programming, functional programming1995University of Melbourne
Mesaprocedural programming1976Palo Alto Research Center
MetaPostimperative programming, declarative programming1994—
MiniZincconstraint programming2009Monash University
Mirahobject-oriented programming, imperative programming2008—
Mirandadeclarative programming, purely functional programming1985—
MIT/GNU Scheme——Massachusetts Institute of Technology
MLfunctional programming, imperative programming, procedural programming1973Robin Milner
Modulaprocedural programming, imperative programming, modular programming1975Niklaus Wirth
Modula-2modular programming, imperative programming, structured programming, concurrent computing1978Niklaus Wirth
Modula-2+modular programming, imperative programming, concurrent computing1984DEC Systems Research Center
MultiLisp———
Nemerlemetaprogramming, object-oriented programming, multi-paradigm programming, imperative programming, procedural programming, functional programming2003JetBrains, University of Wrocław
NetLogoprocedural programming, agent-oriented programming1999—
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—
Oaklispobject-oriented programming1986—
Oberonprocedural programming, structured programming, imperative programming, modular programming, object-oriented programming1987Niklaus Wirth
Oberon-2imperative programming, object-oriented programming1991Niklaus Wirth
Object Pascalgeneric programming, procedural programming, structured programming, imperative programming, multi-paradigm programming, object-oriented programming1986Larry Tesler, Niklaus Wirth, Apple Inc., Borland
Obliqobject-oriented programming, prototype-based programming, structured programming, parallel computing, imperative programming, modular programming1993—
OCamlfunctional programming, modular programming, object-oriented programming, imperative programming1996Institut National de Recherche en Informatique et en Automatique
Opaimperative programming, multi-paradigm programming, functional programming2011—
Pandeclarative programming——
ParaSailconcurrent computing, parallel computing, object-oriented programming, procedural programming, structured programming2009—
Pascalimperative programming, structured programming1970Niklaus Wirth
Pascal Scriptobject-oriented programming, multi-paradigm programming, imperative programming, procedural programming2000RemObjects Software
PicoLispmetaprogramming, declarative programming, functional programming, procedural programming, reflective programming, object-oriented programming1988Alexander Burger
PL/Cprocedural programming, imperative programming, structured programming1973Cornell University
PL/Istructured programming, procedural programming, concurrent computing, imperative programming1964IBM
PL360procedural programming, structured programming, imperative programming1966—
Plusprocedural programming, structured programming, imperative programming1976University of British Columbia
Power Fxdeclarative programming, functional programming, imperative programming——
PowerShellreflective programming, procedural programming, functional programming, imperative programming, object-oriented programming2006Microsoft
Programming Language for Businessprocedural programming, imperative programming1972—
ProvideXobject-oriented programming, procedural programming1992Sage Group
Puredeclarative programming, functional programming2008—