Programming Language Theory: Difference between revisions
| Line 121: | Line 121: | ||
==Concurrency== | ==Concurrency== | ||
* '''FIXME''' π-calculus, CSS, CSP, petri nets... | * '''FIXME''' π-calculus, CSS, CSP, petri nets, dataflow variables... | ||
* '''FIXME''' message-passing, shared-state | |||
==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: | 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: | ||