| Language | Appeared | Type system | Languages it influenced |
|---|---|---|---|
| SP/k | 1974 | static typing, strong typing | 1 |
| Speedcoding | 1953 | manifest typing, static typing, strong typing | 1 |
| SystemVerilog | 2002 | static typing, weak typing | — |
| V | 2018 | — | — |
| Vala | 2006 | static typing, inference typing, structural typing, strong typing | — |
| Visual Basic .NET | 2001 | dynamic typing, nominative typing | 1 |
| WebAssembly | 2015 | — | — |
| XPL | 1967 | — | 3 |