Home
Type systems
strong typing

strong typing

186 programming languages

Language	Appeared	Paradigms	Languages it influenced
Seed7	2005	generic programming, reflective programming, structured programming, imperative programming, multi-paradigm programming, object-oriented programming	—
Self	1987	prototype-based programming, object-oriented programming	10
SISAL	1983	dataflow programming, concurrent computing, functional programming, multi-paradigm programming	—
Smalltalk	1972	class-based programming, object-oriented programming	33
SP/k	1974	structured programming, imperative programming	1
SPARK	1988	procedural programming	—
Speedcoding	1953	generic programming, procedural programming, structured programming, object-oriented programming	1
SQL	1974	declarative programming	3
Standard ML	1983	procedural programming, functional programming, imperative programming, modular programming	7
Standard ML of New Jersey	2002	procedural programming	—
StarLogo	2001	agent-oriented programming, procedural programming, multi-paradigm programming	1
Swift	2014	functional programming, imperative programming, block-structured programming, multi-paradigm programming, declarative programming, object-oriented programming	5
Swift LispKit	—	—	—
T	1982	functional programming, imperative programming, multi-paradigm programming, metaprogramming, object-oriented programming	1
TADS	1988	prototype-based programming	—
UnrealScript	1998	generic programming, object-oriented programming	—
Vala	2006	structured programming, imperative programming, object-oriented programming	—
Visual Prolog	—	functional programming, imperative programming, logic programming, object-oriented programming	—
Vvvv	1998	visual programming language	—
Whiley	2010	functional programming, imperative programming	—
Wolfram Language	1988	functional programming, imperative programming, multi-paradigm programming, array programming, declarative programming, object-oriented programming	—
X10	2004	concurrent computing, array programming, object-oriented programming	—
XL	2000	functional programming, imperative programming, multi-paradigm programming	—
XQuery	2007	functional programming, declarative programming, modular programming	—
Xtend	2011	functional programming, imperative programming, object-oriented programming	—
Zig	2015	generic programming, concurrent computing, procedural programming, functional programming, imperative programming	1