283
edits
Pipe-calculus: Difference between revisions
no edit summary
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) No edit summary |
||
| Line 2: | Line 2: | ||
One of its distinctive features is the inclusion of syntactic symbols, so it is easy to express program structure and complex data types using only the built-in constructs. | One of its distinctive features is the inclusion of syntactic symbols, so it is easy to express program structure and complex data types using only the built-in constructs. | ||
The calculus | The name of the calculus refers to the ''pipe'' operator of Unix shells, and also alliterates with π-calculus, a popular process calculus, however they are not closely related. | ||
Pure pipe-calculus is untyped. Construction of a [[ideas_for_a_type_system|type system]] is in the exploration phase, placing the focus on well-typed communication of programs. | Pure pipe-calculus is untyped. Construction of a [[ideas_for_a_type_system|type system]] is in the exploration phase, placing the focus on well-typed communication of programs. | ||