| Haxe | 2005 | dynamic typing, static typing, nominative typing, inference typing | — |
| High Level Assembly | — | — | — |
| Hy | 2013 | — | — |
| ILNumerics.Net | — | — | — |
| Incr Tcl | 1993 | dynamic typing | — |
| Inform | 1993 | inference typing | 1 |
| Io | 2002 | dynamic typing, strong typing | 3 |
| ISLISP | 1997 | — | — |
| J | 1990 | dynamic typing | 2 |
| J# | 2002 | — | 1 |
| Jasmin | — | — | — |
| Java | 1995 | manifest typing, static typing, nominative typing, safe typing, strong typing | 43 |
| Joule | 1996 | — | 1 |
| JS++ | 2011 | dynamic typing, gradual typing, static typing | — |
| JScript | 1996 | dynamic typing, duck typing, weak typing | — |
| Judoscript | 2001 | dynamic typing, strong typing | — |
| Julia | 2009 | dynamic typing, nominative typing, parametric polymorphism, strong typing | — |
| Kaleidoscope | 1994 | — | — |
| Keykit | — | — | — |
| Kojo | 2010 | strong typing | — |
| Kotlin | 2011 | static typing, inference typing, strong typing | 2 |
| Lasso | 1995 | dynamic typing, nominative typing, duck typing | — |
| Lingo | 1989 | — | — |
| Linotte | 2005 | — | — |
| Lisaac | 2003 | — | — |
| Lisp Machine Lisp | 1976 | — | 1 |
| Little b | 2004 | dynamic typing, strong typing | — |
| LiveCode | 2001 | — | — |
| LiveScript | 2011 | dynamic typing, weak typing | 1 |
| Logtalk | 1998 | — | — |
| LPC | 1989 | dynamic typing, static typing, weak typing, strong typing | 1 |
| Lua | 1993 | dynamic typing, duck typing, strong typing | 9 |
| Magik | 1989 | dynamic typing | — |
| Maple | 1982 | — | 1 |
| MATLAB | 1970 | dynamic typing, weak typing | 1 |
| Mercury | 1995 | static typing, parametric polymorphism, uniqueness typing, strong typing | — |
| MetaQuotes Language | 2005 | — | — |
| Microsoft C | 1983 | — | — |
| MIMIC | 1964 | — | — |
| Mirah | 2008 | dynamic typing, static typing, inference typing, strong typing | — |
| Modelica | 1997 | — | — |
| Modula-3 | 1989 | — | 3 |
| Monkey X | 2011 | — | — |
| NekoVM | 2005 | dynamic typing | — |
| Nemerle | 2003 | static typing, nominative typing, inference typing, strong typing | — |
| NetRexx | 1996 | dynamic typing, static typing, safe typing, strong typing | — |
| NewLISP | 1991 | dynamic typing | — |
| Newspeak | 2006 | dynamic typing | — |
| NewtonScript | 1993 | dynamic typing | 1 |
| Nim | 2008 | static typing, inference typing, structural typing, strong typing | — |
| Noop | 2009 | — | — |
| NS Basic | — | — | — |
| Nu | 2007 | dynamic typing | — |
| Oak | 1989 | — | — |
| Oaklisp | 1986 | dynamic typing, strong typing | — |
| Oberon | 1987 | dynamic typing, static typing, strong typing | 7 |
| Oberon-2 | 1991 | strong typing | 2 |
| Object Oberon | 1990 | — | — |
| Object Pascal | 1986 | dynamic typing, static typing, safe typing, strong typing | 6 |
| Object REXX | 1988 | — | — |
| Objective-C | 1984 | dynamic typing, static typing, weak typing | 5 |
| Objective-J | 2008 | dynamic typing, duck typing, weak typing | — |
| Obliq | 1993 | dynamic typing, strong typing | — |
| OCaml | 1996 | static typing, inference typing, structural typing, strong typing | 12 |
| OpenCL | 2009 | manifest typing, static typing, nominative typing, weak typing | — |
| OpenEdge Advanced Business Language | — | — | — |
| OptimJ | 2006 | — | — |
| Oxygene | 2005 | — | — |
| Oz | 1991 | dynamic typing | 2 |
| ParaSail | 2009 | static typing, strong typing | — |
| Pascal Script | 2000 | strong typing | — |
| PascalABC.NET | 2007 | — | — |
| PeopleCode | — | — | — |
| Pharo | 2008 | dynamic typing | — |
| Phoenix Object Basic | — | — | — |
| PHP | 1995 | dynamic typing, gradual typing, weak typing | 5 |
| PicoLisp | 1988 | dynamic typing, duck typing, strong typing | — |
| Pike | 1994 | dynamic typing, manifest typing, static typing | — |
| Pnuts | 1997 | dynamic typing, duck typing | — |
| Pony | — | — | 1 |