模板:類型系統參考表
| 程式語言 | 靜態/動態 | 強/弱類型 | 安全性 | 結構/標明/推斷 |
|---|---|---|---|---|
| Ada | 靜態 | 強 | 安全 | 標明 |
| 組合語言 | 無 | 強 | 不安全 | 結構 |
| APL | 動態 | 弱 | 安全 | 標明 |
| BASIC | 靜態 | 弱 | 安全 | 標明 |
| C | 靜態 | 弱 | 不安全 | 標明 |
| Cayenne | 依賴 | 強 | 安全 | 結構 |
| Centura | 靜態 | 弱 | 安全 | 標明 |
| C++ | 靜態 | 強 | 不安全 | 標明 |
| C♯[1] | 靜態 | 強 | 皆有 | 標明 |
| Clipper | 動態 | 弱 | 安全 | 推斷 |
| D | 靜態 | 強 | 不安全 | 標明 |
| Delphi | 靜態 | 強 | 安全 | 標明 |
| E | 動態 | 強 | 安全 | 標明 + 推斷 |
| Eiffel | 靜態 | 強 | 安全 | 標明 |
| Erlang | 動態 | 強 | 安全 | 標明 |
| Fortran | 靜態 | 強 | 安全 | 標明 |
| Groovy | 動態 | 強 | 安全 | 推斷 |
| Haskell | 靜態 | 強 | 安全 | 結構 |
| Io | 動態 | 強 | 安全 | 推斷 |
| Java | 靜態 | 強 | 安全 | 標明 |
| JavaScript | 動態 | 弱 | 安全 | 推斷 |
| Lisp | 動態 | 強 | 安全 | 結構 |
| Lua[2] | 動態 | 弱 | 安全 | 結構 |
| ML | 靜態 | 強 | 安全 | 結構 |
| Objective-C[3] | 動態 | 弱 | 不安全 | 推斷 |
| Pascal | 靜態 | 強 | 安全 | 標明 |
| Perl 1-5 | 動態 | 弱 | 安全 | 標明 |
| Perl 6[4] | 混合 | 混合 | 安全 | 推斷 |
| PHP | 動態 | 弱 | 安全 | ? |
| Pike | 靜態+動態 | 強 | 安全 | 結構 |
| Python | 動態 | 強 | 安全 | 推斷 |
| Ruby | 動態 | 強 | 安全 | 推斷 |
| Scheme | 動態 | 強 | 安全 | 標明 |
| Smalltalk | 動態 | 強 | 安全 | 推斷 |
| Visual Basic | 混合 | 混合 | 安全 | 標明 |
| Windows PowerShell | 混合 | 混合 | 安全 | 推斷 |
| xHarbour | 動態 | 弱 | 安全 | 推斷 |