模板:類型系統參考表

編輯 討論
程式語言 靜態/動態 強/弱類型 安全性 結構/標明/推斷
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 動態 安全 推斷
  1. ^ C 的基礎沒有改變。3.0 匿名類型為混合類型。使用「不安全」函式和代碼區塊可以是安全和不安全兩者。
  2. ^ 可使用 metatables 更改變數的類型。
  3. ^ 僅應用於 Objective-C 的擴展。
  4. ^ 尚未釋出。