This is an old revision of this page, as edited by Yobot (talk | contribs) at 14:20, 10 September 2014 (Tagging using AWB (10458)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Revision as of 14:20, 10 September 2014 by Yobot (talk | contribs) (Tagging using AWB (10458))(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff) | This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Comparison of type systems" – news · newspapers · books · scholar · JSTOR (September 2014) (Learn how and when to remove this message) |
| Programming language | static / dynamic | strong / weak | safety | nominative / structural |
|---|---|---|---|---|
| Ada | static | strong | safe | nominative |
| Assembly language | none | strong | unsafe | structural |
| APL | dynamic | weak | safe | nominative |
| BASIC | static | weak | safe | nominative |
| C | static | weak | unsafe | nominative |
| C++ | static | strong | unsafe | nominative |
| C# | static | strong | both | nominative |
| Cayenne | dependent | strong | safe | structural |
| Centura | static | weak | safe | nominative |
| Clipper | dynamic | weak | safe | duck |
| D | static | strong | both | nominative |
| Delphi | static | strong | safe | nominative |
| E | dynamic | strong | safe | nominative + duck |
| Eiffel | static | strong | safe | nominative |
| Erlang | dynamic | strong | safe | nominative |
| Fortran | static | strong | safe | nominative |
| Go | static | strong | safe | structural |
| Groovy | dynamic | strong | safe | duck |
| Haskell | static | strong | safe | nominative |
| Io | dynamic | strong | safe | duck |
| Java | static | strong | safe | nominative |
| JavaScript | dynamic | weak | safe | duck |
| Lisp | dynamic | strong | safe | structural |
| Lua | dynamic | weak | safe | structural |
| ML | static | strong | safe | structural |
| Objective-C | dynamic | strong | unsafe | duck |
| Pascal | static | strong | safe | nominative |
| Perl 1-5 | dynamic | weak | safe | nominative |
| Perl 6 | hybrid | hybrid | safe | duck |
| PHP | dynamic | weak | safe | ? |
| Pike | static+dynamic | strong | safe | structural |
| Python | dynamic | strong | safe | duck |
| Ruby | dynamic | strong | safe | duck |
| Scala | static | strong | safe | structural |
| Scheme | dynamic | strong | safe | nominative |
| Smalltalk | dynamic | strong | safe | duck |
| Visual Basic | hybrid | hybrid | safe | nominative |
| Windows PowerShell | hybrid | hybrid | safe | duck |
| xHarbour | dynamic | weak | safe | duck |
| Ya | static | strong | unsafe | nominative |
- The C basis is unchanged. 3.0 has hybrid typing with Anonymous Types. Can be both unsafe and safe with use of 'unsafe' functions and code blocks.
- D's philosophy is: safe by default with unsafe "backdoors". D also supports @safe functions that provably can't corrupt memory at the cost of disabling some of the unsafe language constructs.
- Variables can change type with the use of metatables.
- Applies to the Objective-C extension only.
- Not yet released.
- Scala supports structural types through runtime reflection on the JVM