| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| Sawzall | 2003 | — | — |
| Scheme | 1975 | dynamic typing, latent typing, strong typing | 16 |
| SETL | 1969 | dynamic typing | 2 |
| Short Code | 1950 | — | — |
| Simula | 1962 | static typing, nominative typing | 10 |
| Source | 2017 | dynamic typing, duck typing | — |
| SPARK | 1988 | static typing, nominative typing, safe typing, strong typing | — |
| Speedcoding | 1953 | manifest typing, static typing, strong typing | 1 |
| Squirrel | 2003 | dynamic typing | 1 |
| Standard ML | 1983 | static typing, inference typing, strong typing | 7 |
| Standard ML of New Jersey | 2002 | inference typing, strong typing | — |
| Starlark | — | dynamic typing | — |
| StarLogo | 2001 | dynamic typing, duck typing, strong typing | 1 |
| SuperPascal | 1993 | — | — |
| Tcl | 1988 | dynamic typing | 6 |
| Turing | 1982 | manifest typing, static typing | — |
| TUTOR | 1969 | — | — |
| Unicon | — | — | — |
| Varphi Language | 2025 | — | — |
| Visual FoxPro | 1984 | — | — |
| XBLite | — | dynamic typing | — |
| XPL | 1967 | — | 3 |
| XPL0 | 1976 | — | — |
| Yoix | 2000 | dynamic typing, weak typing | — |
| Zig | 2015 | static typing, nominative typing, inference typing, structural typing, strong typing | 1 |