283
edits
Pipe-calculus: Difference between revisions
no edit summary
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
'''Pipe-calculus''' is a universal model of computation closely related to [[Wikipedia:process_calculus|process calculus]], [[Wikipedia:lambda_calculus|lambda calculus]] and [[Wikipedia:Formal_grammar|formal grammars]]. | '''Pipe-calculus''' is a universal model of computation closely related to [[Wikipedia:process_calculus|process calculus]], [[Wikipedia:lambda_calculus|lambda calculus]] and [[Wikipedia:Formal_grammar|formal grammars]]. | ||
One of its distinctive features is the inclusion of syntactic symbols, so it is | 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 was named after the ''pipe'' operator of Unix shells, and also alliterates with π-calculus, a popular process calculus, however they are not directly 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. | ||