Type Systems
Brief definitions
- Compatibility among composite types describes the behavior of functions applied to data typed similarly to its intended type. Name-based compatibility means that functions work only on data of its intended type and declared subtypes. Property-based compatibility means that functions work on any data that has the same properties as its intended type.
- Type checking determines whether and when types are verified. Static checking occurs at compile-time. Dynamic checking occurs at run-time.
| Language | Type strength | Type safety | Type expression | Type compatibility among composites | Type checking |
|---|---|---|---|---|---|
| ActionScript 3.0 | strong | safe | implicit with optional explicit typing | static | |
| Ada | strong | safe | explicit | name-based | partially dynamic |
| Aldor | strong | unsafe | implicit | static | |
| ALGOL 58 | strong | safe | explicit | static | |
| ALGOL 60 | strong | safe | explicit | static | |
| ALGOL 68 | strong | safe | explicit | property-based | static |
| APL | strong | safe | dynamic | ||
| AutoHotkey | none | ||||
| Ateji PX | strong | safe | explicit | name-based | static |
| BASIC | varies by dialect | ||||
| BLISS | none | n/a | n/a | n/a | n/a |
| BeanShell | strong | safe | name-based | dynamic | |
| Boo | strong | safe | implicit with optional explicit typing | static with optional dynamic typing | |
| C | weak | unsafe | explicit | name-based | static |
| C++ (ISO/IEC 14882) | strong | unsafe | explicit | name-based | static |
| C# | strong | safe | implicit with optional explicit typing | name-based | static |
| Clean | strong | safe | implicit | static | |
| Clojure | strong | safe | implicit with optional explicit typing | dynamic | |
| COBOL | strong | static | |||
| ColdFusion (CFML) | strong | safe | implicit | dynamic | |
| Common Lisp | strong | safe | implicit with optional explicit typing | dynamic | |
| Curl | strong | safe | name-based | ||
| Cython | strong | safe | implicit with optional explicit typing | name-based (extension types) and property-based (Python) | dynamic with optional static typing |
| D | strong | unsafe | explicit | name-based | static |
| Dylan | strong | safe | dynamic | ||
| Eiffel | strong | safe | name-based | static | |
| Erlang | strong | safe | implicit | dynamic | |
| Euphoria | strong | safe | explicit, implicit with objects | name-based | static, dynamic with objects |
| F# | strong | safe | implicit | name-based | static |
| Falcon | strong | safe | implicit | property-based | dynamic |
| Forth | none | n/a | n/a | n/a | n/a |
| Fortran | strong | safe | explicit | name-based | static |
| Gambas | strong | safe | explicit | name-based | |
| GLBasic | strong | safe | explicit. Non-explicit declarations available through project options | name-based | static |
| Go | strong | safe | implicit with optional explicit typing | property-based | static |
| Gosu | strong | safe | partially implicit (local type inference) | name-based (subclassing) and property-based (structural) | static |
| GraphTalk | weak | ||||
| Groovy | strong | safe | implicit with optional explicit typing | dynamic with optional static typing | |
| Harbour | strong | safe | implicit with optional explicit typing | dynamic | |
| Haskell | strong | safe | implicit with optional explicit typing | property-based | static |
| haXe | strong | safe | implicit with optional explicit typing | name-based (subclassing) and property-based (structural) | static with optional dynamic typing |
| Io | strong | safe | implicit | dynamic | |
| ISLISP | strong | safe | dynamic | ||
| J | strong | safe | dynamic | ||
| Java | strong | safe | explicit | name-based | static |
| JavaScript | weak | implicit | dynamic | ||
| Joy | strong | safe | dynamic | ||
| Lua | weak | safe | implicit | dynamic | |
| Mathematica | strong | dynamic | |||
| MATLAB M-code | dynamic | ||||
| Modula-2 | strong | unsafe | explicit | name-based | static |
| Modula-3 | strong | unsafe | explicit | property-based | static |
| Oberon | strong | safe | explicit | name-based | static and partially dynamic |
| Objective-C | weak | safe | explicit | name-based (subclassing) and property-based (protocols) | dynamic with optional static typing |
| OCaml | strong | safe | implicit with optional explicit typing | property-based | static |
| Object Pascal (Delphi) | strong | safe | explicit | name-based | static |
| Opa | strong | safe | implicit with optional explicit typing | property-based | static |
| Oxygene | strong | unsafe | implicit | static | |
| Oz | strong | safe | implicit | property-based | dynamic |
| Pascal | strong | unsafe | explicit | name-based | static |
| Perl 5 | weak | implicit | dynamic | ||
| Perl 6 | partially implicit | dynamic with optional static typing | |||
| PHP | weak | implicit | dynamic | ||
| Plus | strong | safe | explicit | property-based | static, dynamic (optional) |
| Prolog | strong | dynamic | |||
| Pure | dynamic | ||||
| Python | strong | safe | implicit | property-based | dynamic |
| REBOL | strong | safe | implicit | dynamic | |
| RPG (IBM) | strong | unsafe | static | ||
| Ruby | strong | safe | implicit | property-based | dynamic |
| Rust | strong | safe | implicit with optional explicit typing | static with optional dynamic typing | |
| S | strong | dynamic | |||
| S-Lang | strong | safe | implicit | dynamic | |
| Scala | strong | safe | partially implicit (local type inference) | name-based (subclassing) and property-based (structural) | static |
| Scheme | strong | implicit | dynamic (latent) | ||
| Simula | strong | safe | static | ||
| Smalltalk | strong | safe | implicit | dynamic | |
| Standard ML | strong | safe | implicit with optional explicit typing | property-based | static |
| Tcl | dynamic | ||||
| Visual Basic | strong | safe | implicit with optional explicit typing | name-based | static |
| Visual Basic .NET | strong | unsafe | explicit | static | |
| Visual Prolog | strong | safe | partially implicit | name-based | static |
| Windows PowerShell | strong | safe | implicit | dynamic | |
| XL | strong | safe | name-based | static | |
| Language | Type strength | Type safety | Type expression | Type compatibility among composites | Type checking |
Read more about this topic: Comparison Of Programming Languages
Famous quotes containing the words type and/or systems:
“The Republican form of government is the highest form of government; but because of this it requires the highest type of human nature—a type nowhere at present existing.”
—Herbert Spencer (1820–1903)
“The skylines lit up at dead of night, the air- conditioning systems cooling empty hotels in the desert and artificial light in the middle of the day all have something both demented and admirable about them. The mindless luxury of a rich civilization, and yet of a civilization perhaps as scared to see the lights go out as was the hunter in his primitive night.”
—Jean Baudrillard (b. 1929)