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

inference typing

44 programming languages
LanguageAppearedParadigmsLanguages it influenced
Agda2007purely functional programming1
Alice2000concurrent computing, functional programming, imperative programming, constraint programming1
Ballerina2017concurrent computing—
Boo2003object-oriented programming2
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
Caml1985functional programming, imperative programming, multi-paradigm programming—
Carbon2020——
Chapel2009parallel computing, array programming, object-oriented programming—
Cobra2006functional programming, multi-paradigm programming, object-oriented programming—
Crystal2014concurrent computing, multi-paradigm programming, object-oriented programming—
Curry1995functional programming, logic programming, constraint programming—
D2001functional programming, imperative programming, object-oriented programming5
Dart2011reflective programming, functional programming, imperative programming, multi-paradigm programming, object-oriented programming1
Elm2012functional programming, purely functional programming, reactive programming, functional reactive programming2
F#2005reflective programming, concurrent computing, functional programming, imperative programming, metaprogramming, object-oriented programming4
F*—functional programming, imperative programming—
Flix2016functional programming, imperative programming, logic programming—
Go2009concurrent computing, procedural programming, functional programming, structured programming, imperative programming, object-oriented programming8
Hack2014——
Handel-C2005imperative programming—
Haskell1990functional programming, purely functional programming, non-strict programming24
Haxe2005generic programming, functional programming, multi-paradigm programming, object-oriented programming—
Inform1993procedural programming, declarative programming, object-oriented programming1
Kotlin2011generic programming, reflective programming, concurrent computing, functional programming, structured programming, imperative programming, declarative programming, object-oriented programming2
Mirah2008imperative programming, object-oriented programming—
ML1973procedural programming, functional programming, imperative programming18
Nemerle2003procedural programming, functional programming, imperative programming, multi-paradigm programming, metaprogramming, object-oriented programming—
Nim2008concurrent computing, procedural programming, functional programming, imperative programming, macro metaprogramming, metaprogramming, object-oriented programming—
OCaml1996functional programming, imperative programming, modular programming, object-oriented programming12
Opa2011functional programming, imperative programming, multi-paradigm programming—
PowerShell2006reflective programming, procedural programming, functional programming, imperative programming, object-oriented programming—
PureScript2013functional programming, purely functional programming—
Roc—functional programming—
Rust2006generic programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming12
Scala2004concurrent computing, functional programming, imperative programming, object-oriented programming9
SequenceL1989parallel computing, purely functional programming, array programming, declarative programming—
Standard ML1983procedural programming, functional programming, imperative programming, modular programming7
Standard ML of New Jersey2002procedural programming—
Swift2014functional programming, imperative programming, block-structured programming, multi-paradigm programming, declarative programming, object-oriented programming5
TADS1988prototype-based programming—
Vala2006structured programming, imperative programming, object-oriented programming—
Visual Prolog—functional programming, imperative programming, logic programming, object-oriented programming—
Xtend2011functional programming, imperative programming, object-oriented programming—
Zig2015generic programming, concurrent computing, procedural programming, functional programming, imperative programming1