| Alef | 2010 | static typing, strong typing | 2 |
| ALGOL 68 | 1968 | static typing, safe typing, structural typing, strong typing | 10 |
| Alice | 2000 | static typing, inference typing, strong typing | 1 |
| AmbientTalk | 2006 | dynamic typing, strong typing | — |
| Ballerina | 2017 | static typing, inference typing, structural typing, strong typing | — |
| ChucK | 2002 | strong typing | — |
| Clojure | 2007 | dynamic typing, strong typing | 2 |
| Concurrent C | 1984 | static variable, weak typing | — |
| Crystal | 2014 | static typing, nominative typing, duck typing, inference typing | — |
| Ease | 1991 | strong typing | — |
| Eiffel | 1986 | static typing | 7 |
| Elixir | 2011 | dynamic typing, duck typing, strong typing | 1 |
| Erlang | 1986 | dynamic typing, strong typing | 8 |
| Esterel | 1980 | — | — |
| F# | 2005 | static typing, inference typing, strong typing | 4 |
| Gleam | 2016 | static typing, safe typing | — |
| Go | 2009 | static typing, duck typing, inference typing, structural typing, strong typing | 8 |
| Go! | 2003 | strong typing | — |
| Hale | 2026 | — | — |
| High Performance Fortran | 1993 | — | 1 |
| Join Java | 2000 | — | — |
| Joyce | 1980 | — | 1 |
| Kotlin | 2011 | static typing, inference typing, strong typing | 2 |
| Lasso | 1995 | dynamic typing, nominative typing, duck typing | — |
| Limbo | 1995 | strong typing | 2 |
| Lucid | 1976 | — | — |
| Modula-2 | 1978 | static typing, safe typing, strong typing | 9 |
| Modula-2+ | 1984 | strong typing | — |
| Newsqueak | 1980 | — | 3 |
| Nim | 2008 | static typing, inference typing, structural typing, strong typing | — |
| Occam | 1983 | — | 3 |
| Orc | 2004 | — | — |
| Oz | 1991 | dynamic typing | 2 |
| ParaSail | 2009 | static typing, strong typing | — |
| PL/I | 1964 | strong typing | 6 |
| PLEX | 1970 | — | 1 |
| Rust | 2006 | static typing, nominative typing, inference typing, linear typing, strong typing | 12 |
| Scala | 2004 | static typing, inference typing, structural typing, strong typing | 9 |
| SISAL | 1983 | static typing, strong typing | — |
| SuperPascal | 1993 | — | — |
| Swift | 2007 | — | 1 |
| X10 | 2004 | static typing, safe typing, strong typing | — |
| XC | 2005 | — | — |
| Zig | 2015 | static typing, nominative typing, inference typing, structural typing, strong typing | 1 |