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

strong typing

190 programming languages
LanguageParadigmsFirst appearedDeveloper
Dfunctional programming, imperative programming, object-oriented programming2001Walter Bright, D Language Foundation
Dartobject-oriented programming, multi-paradigm programming, imperative programming, functional programming, reflective programming2011Google
Darwinimperative programming, structured programming, object-oriented programming1991—
Delphiobject-oriented programming1995Anders Hejlsberg
Design By Numbersobject-oriented programming1999John Maeda
Dracoimperative programming, procedural programming, structured programming——
Dylanobject-oriented programming, multi-paradigm programming, functional programming1992Apple Inc., Carnegie Mellon University
Eobject-oriented programming1997—
Easeconcurrent computing, parallel programming1991—
Edinburgh IMPprocedural programming, structured programming, imperative programming1966—
Elixirconcurrent computing, functional programming, process-oriented programming2011José Valim
Elmfunctional reactive programming, reactive programming, functional programming, purely functional programming2012—
Emacs Lispmetaprogramming, reflective programming, functional programming1985GNU Project
Emeraldobject-oriented programming——
Epigramfunctional programming2004—
Erlangconcurrent computing, functional programming, multi-paradigm programming, declarative programming1986Robert Virding, Joe Armstrong, Ericsson
Euclidprocedural programming, functional programming, structured programming, imperative programming1977Ric Holt
EuLispmulti-paradigm programming1990—
Executive Systems Problem Oriented Languageprocedural programming, structured programming, imperative programming1966Burroughs Corporation
Ezhilimperative programming, procedural programming, structured programming2007—
F#object-oriented programming, metaprogramming, imperative programming, functional programming, concurrent computing, reflective programming2005F Sharp Software Foundation, Microsoft
F*functional programming, imperative programming—Microsoft Research, Institut National de Recherche en Informatique et en Automatique
Factorfunctional programming, stack-oriented programming, multi-paradigm programming, concatenative programming2003Slava Pestov
Fjölnirobject-oriented programming, procedural programming——
Fliximperative programming, logic programming, functional programming2016—
Fortranprocedural programming, generic programming, object-oriented programming, array programming, imperative programming, structured programming1957IBM, John Backus
Franz Lispmetaprogramming, reflective programming, procedural programming, functional programming1980—
FreeBASICprocedural programming, object-oriented programming2004—
Futharkpurely functional programming, array programming2014—
Gambit———
Game Oriented Assembly Lispobject-oriented programming, imperative programming2001Andy Gavin, Jak and Daxter
Genieobject-oriented programming, structured programming, imperative programming2008—
GNU Eobject-oriented programming1991—
Gostructured programming, procedural programming, functional programming, concurrent computing, object-oriented programming, imperative programming2009Google, The Go Authors, Rob Pike, Robert Griesemer, Ken Thompson
Go!imperative programming, functional programming, logic programming, concurrent computing2003Frank G. McCabe, Keith Clark
Gödeldeclarative programming, logic programming1992—
Harbourimperative programming, multi-paradigm programming, declarative programming, object-oriented programming, procedural programming, functional programming, reflective programming1999—
Haskellfunctional programming, purely functional programming, non-strict programming1990Paul Hudak, Philip Wadler, Erik Meijer, John Hughes, Lennart Augustsson, Simon Peyton Jones
Hopmulti-paradigm programming, functional programming, multitier programming2006—
Ioobject-oriented programming, prototype-based programming2002Steve Dekorte
Jaiprocedural programming——
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—
Joypurely functional programming, concatenative programming, stack-oriented programming2001—
JSONiqdeclarative programming——
Judoscriptobject-oriented programming2001—
Juliamulti-paradigm programming, imperative programming, parallel computing, functional programming, multiple dispatch, procedural programming, object-oriented programming, array programming, metaprogramming2009Viral B. Shah, Stefan Karpinski, Alan Edelman, Jeff Bezanson
Karray programming, functional programming1993—