Programming Language Theory: Difference between revisions
| Line 122: | Line 122: | ||
* '''FIXME''' π-calculus, CSS, CSP, petri nets... | * '''FIXME''' π-calculus, CSS, CSP, petri nets... | ||
==Typing== | ==Typing== | ||
Weak- vs strong-typing refers to the degree to which the language's typing system can be subverted, and whether this is regularly necessary. Static- vs dynamic-typing refers to (among other possible definitions) whether type is determined at compile-time or run-time. The benefits of static typing include: | |||
* Detection of many types of errors at compile-time | |||
* Improved performance, reduced resource requirements | |||
* Secure data abstractions can be built atop the safety of strong typing systems | |||
==Objects== | ==Objects== | ||