LTWlanguages & frameworks ltw://type-systems
  1. Home
  2. Type systems
  3. safe typing

safe typing

21 programming languages
LanguageAppearedParadigmsLanguages it influenced
ABAP1983structured programming, imperative programming, object-oriented programming—
Ada1980structured programming, imperative programming, multi-paradigm programming, object-oriented programming15
ALGOL 681968concurrent computing, imperative programming10
Ceylon2011functional programming, imperative programming, multi-paradigm programming, object-oriented programming—
Cyclone2002—1
Gleam2016concurrent computing, functional programming, multi-paradigm programming—
Harbour1999reflective programming, procedural programming, functional programming, imperative programming, multi-paradigm programming, declarative programming, object-oriented programming—
Java1995generic programming, reflective programming, functional programming, structured programming, imperative programming, class-based programming, concurrent object-oriented programming, component-based software engineering, object-oriented programming43
JOVIAL1960procedural programming, structured programming, imperative programming1
Modula1975procedural programming, imperative programming, modular programming4
Modula-21978concurrent computing, structured programming, imperative programming, modular programming9
NetRexx1996procedural programming, structured programming, object-oriented programming—
Object Pascal1986generic programming, procedural programming, structured programming, imperative programming, multi-paradigm programming, object-oriented programming6
Pascal1970structured programming, imperative programming27
Plus1976procedural programming, structured programming, imperative programming—
PowerShell2006reflective programming, procedural programming, functional programming, imperative programming, object-oriented programming—
RTL/21972procedural programming, structured programming, imperative programming1
SPARK1988procedural programming—
UnrealScript1998generic programming, object-oriented programming—
Whiley2010functional programming, imperative programming—
X102004concurrent computing, array programming, object-oriented programming—