| .QL | 2007 | static typing, strong typing | — |
| Abbreviated Language For Authorization | — | — | — |
| ABSYS | 1967 | — | — |
| AMPL | 1985 | — | — |
| ASCEND | — | — | — |
| Atom | 2007 | strong typing | — |
| ATS | 2006 | static typing, dependent typing, linear typing | — |
| Constraint Handling Rules | 1991 | — | — |
| Curl | 1998 | strong typing | — |
| Datalog | 1986 | weak typing | 2 |
| ECL | 2000 | — | — |
| EdgeQL | — | — | — |
| Erlang | 1986 | dynamic typing, strong typing | 8 |
| Escher | 1990 | manifest typing, static typing | — |
| Extensible Application Markup Language | 2008 | — | 1 |
| FXML | 2011 | — | — |
| GeneXus | 1988 | — | — |
| Gödel | 1992 | strong typing | — |
| Harbour | 1999 | dynamic typing, duck typing, safe typing, strong typing | — |
| HPCC | — | — | — |
| Inform | 1993 | inference typing | 1 |
| JavaFX Script | 2008 | static typing | — |
| Jess | 1995 | — | — |
| JModelica.org | — | — | — |
| KM | — | — | 1 |
| Kotlin | 2011 | static typing, inference typing, strong typing | 2 |
| KRL | 1971 | — | — |
| Lucid | 1976 | — | — |
| Lustre | 1980 | — | — |
| Mapbox Style Specification | — | — | — |
| MapLibre Style Specification | — | — | — |
| Max (programming language) | — | — | — |
| Metafont | 1979 | — | 1 |
| MetaPost | 1994 | dynamic typing, duck typing, strong typing | 1 |
| Microsoft C | 1983 | — | — |
| Miranda | 1985 | static typing, strong typing | 3 |
| Mizar | 1973 | weak typing | — |
| Modelica | 1997 | — | — |
| Nix | 2003 | dynamic typing | — |
| Openmodelica | — | — | — |
| Pan | — | dynamic typing, strong typing | — |
| PicoLisp | 1988 | dynamic typing, duck typing, strong typing | — |
| Power Fx | — | strong typing | — |
| PQL | 2014 | — | — |
| Prolog | 1972 | — | 11 |
| Pure | 2008 | dynamic typing, strong typing | — |
| QML | 2009 | dynamic typing, strong typing | 2 |
| Ring | 2016 | dynamic typing, duck typing | — |
| SequenceL | 1989 | static typing, inference typing | — |
| SPARQL | 2008 | — | 1 |
| SQL | 1974 | static typing, strong typing | 3 |
| Swift | 2014 | static typing, inference typing, strong typing | 5 |
| Wolfram Language | 1988 | dynamic typing, strong typing | — |
| XACML | — | — | — |
| XOD | 2016 | — | — |
| XProc | — | — | — |
| XQuery | 2007 | dynamic typing, static typing, strong typing | — |
| XSLT | 1999 | — | — |