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

nominative typing

27 programming languages
LanguageAppearedParadigmsLanguages it influenced
ABAP1983structured programming, imperative programming, object-oriented programming—
Ada1980structured programming, imperative programming, multi-paradigm programming, object-oriented programming15
Agda2007purely functional programming1
BSASPEC2004multi-paradigm programming—
C1972procedural programming, structured programming, imperative programming, multi-paradigm programming60
C#2001generic programming, reflective programming, event-driven programming, functional programming, structured programming, imperative programming, multi-paradigm programming, class-based programming, strict programming, object-oriented programming23
C++1983generic programming, procedural programming, functional programming, multi-paradigm programming, object-oriented programming36
Carbon2020——
Crystal2014concurrent computing, multi-paradigm programming, object-oriented programming—
CWEB—literate programming—
EC2004generic programming, procedural programming, imperative programming, multi-paradigm programming, object-oriented programming—
GrGen2003multi-paradigm programming—
Handel-C2005imperative programming—
Haxe2005generic programming, functional programming, multi-paradigm 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
Julia2009procedural programming, multiple dispatch, functional programming, parallel computing, imperative programming, multi-paradigm programming, array programming, metaprogramming, object-oriented programming—
Lasso1995concurrent computing, procedural programming, structured programming, object-oriented programming—
Nemerle2003procedural programming, functional programming, imperative programming, multi-paradigm programming, metaprogramming, object-oriented programming—
OpenCL2009generic programming, structured programming, imperative programming, object-oriented programming—
PLEXIL2005multi-paradigm programming—
Polyphonic C#2002multi-paradigm programming—
Rust2006generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming12
Seed72005generic programming, reflective programming, structured programming, imperative programming, multi-paradigm programming, object-oriented programming—
Simula1962procedural programming, structured programming, imperative programming, object-oriented programming10
SPARK1988procedural programming—
Visual Basic .NET2001generic programming, reflective programming, event-driven programming, functional programming, structured programming, imperative programming, multi-paradigm programming, class-based programming, strict programming, object-oriented programming1
Zig2015generic programming, concurrent computing, procedural programming, functional programming, imperative programming1