| Red | 2011 | — | — |
| Ring | 2016 | dynamic typing, duck typing | — |
| RTL/2 | 1972 | static typing, safe typing, structural typing, strong typing | 1 |
| Ruby | 1995 | dynamic typing, duck typing, strong typing | 11 |
| Rust | 2006 | static typing, nominative typing, inference typing, linear typing, strong typing | 12 |
| S | 1976 | dynamic typing, strong typing | 1 |
| S3 | — | — | — |
| Scala | 2004 | static typing, inference typing, structural typing, strong typing | 9 |
| Scheme | 1975 | dynamic typing, latent typing, strong typing | 16 |
| Script.NET | — | dynamic typing | — |
| Seed7 | 2005 | manifest typing, static typing, nominative typing, strong typing | — |
| SETL | 1969 | dynamic typing | 2 |
| Silq | 2020 | — | — |
| Simula | 1962 | static typing, nominative typing | 10 |
| Snek | — | dynamic typing | — |
| SNOBOL | 1962 | — | 3 |
| Source | 2017 | dynamic typing, duck typing | — |
| SP/k | 1974 | static typing, strong typing | 1 |
| Speakeasy | 1964 | dynamic typing | — |
| Split-C | 1993 | manifest typing, weak typing | — |
| Squirrel | 2003 | dynamic typing | 1 |
| Standard ML | 1983 | static typing, inference typing, strong typing | 7 |
| Swift | 2014 | static typing, inference typing, strong typing | 5 |
| T | 1982 | dynamic typing, strong typing | 1 |
| Tcl | 1988 | dynamic typing | 6 |
| TUTOR | 1969 | — | — |
| TypeScript | 2012 | gradual typing, duck typing, structural typing | 2 |
| V | 2018 | — | — |
| Vala | 2006 | static typing, inference typing, structural typing, strong typing | — |
| Varphi Language | 2025 | — | — |
| Vimscript | — | — | — |
| Visual Basic .NET | 2001 | dynamic typing, nominative typing | 1 |
| Visual Prolog | — | static typing, inference typing, strong typing | — |
| WebAssembly | 2015 | — | — |
| Whiley | 2010 | safe typing, structural typing, strong typing | — |
| Wolfram Language | 1988 | dynamic typing, strong typing | — |
| XL | 2000 | strong typing | — |
| XOTcl | 2000 | dynamic typing | — |
| Xtend | 2011 | static typing, inference typing, strong typing | — |
| Zig | 2015 | static typing, nominative typing, inference typing, structural typing, strong typing | 1 |
| Zonnon | 2000 | dynamic typing | — |