模板:类型系统参考表
| 程式语言 | 静态/动态 | 强/弱类型 | 安全性 | 结构/标明/推断 |
|---|---|---|---|---|
| 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 | 动态 | 弱 | 安全 | 推断 |