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

safe typing

21 programming languages
LanguageParadigmsFirst appearedDeveloper
ABAPstructured programming, object-oriented programming, imperative programming1983SAP
Adastructured programming, object-oriented programming, multi-paradigm programming, imperative programming1980Jean Ichbiah, S. Tucker Taft
ALGOL 68imperative programming, concurrent computing—Adriaan van Wijngaarden, John E. L. Peck, Cornelis H. A. Koster, Barry J. Mailloux
Ceylonfunctional programming, imperative programming, multi-paradigm programming, object-oriented programming2011Gavin King, Red Hat
Cyclone—2002AT&T
Gleamconcurrent computing, functional programming, multi-paradigm programming2016—
Harbourimperative programming, multi-paradigm programming, declarative programming, object-oriented programming, procedural programming, functional programming, reflective programming1999—
Javaobject-oriented programming, generic programming, component-based software engineering, concurrent object-oriented programming, class-based programming, imperative programming, structured programming, functional programming, reflective programming1995Sun Microsystems, Oracle Corporation, James Gosling
JOVIALimperative programming, structured programming, procedural programming1960—
Modulaprocedural programming, imperative programming, modular programming1975Niklaus Wirth
Modula-2modular programming, imperative programming, structured programming, concurrent computing1978Niklaus Wirth
NetRexxobject-oriented programming, structured programming, procedural programming1996IBM
Object Pascalgeneric programming, procedural programming, structured programming, imperative programming, multi-paradigm programming, object-oriented programming1986Larry Tesler, Niklaus Wirth, Apple Inc., Borland
Pascalimperative programming, structured programming1970Niklaus Wirth
Plusprocedural programming, structured programming, imperative programming1976University of British Columbia
PowerShellreflective programming, procedural programming, functional programming, imperative programming, object-oriented programming2006Microsoft
RTL/2procedural programming, structured programming, imperative programming1972John Barnes
SPARKprocedural programming1988Altran, University of Southampton
UnrealScriptgeneric programming, object-oriented programming1998—
Whileyimperative programming, functional programming2010—
X10concurrent computing, array programming, object-oriented programming2004IBM