283
edits
Pipe-calculus: Difference between revisions
→Connection to other fields
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) |
||
| Line 12: | Line 12: | ||
Pipe-calculus is inspired by logical programming, substructural logic, process calculus, formal grammars, automata theory, type theory (up to the lambda-cube) and the study of algebraic effects. Its early version was considered a process calculus. However it has since diverged in subtle details, it is still very close to process calculi and its presentation style maintains that heritage. | Pipe-calculus is inspired by logical programming, substructural logic, process calculus, formal grammars, automata theory, type theory (up to the lambda-cube) and the study of algebraic effects. Its early version was considered a process calculus. However it has since diverged in subtle details, it is still very close to process calculi and its presentation style maintains that heritage. | ||
Programs written in the pipe-calculus can recognize and generate formal languages. Untyped lambda calculus can be translated to a subset of higher-order pipe-calculus. | |||
On the practical side pipe-calculus is motivated by shell programming and streams. Indeed the idea of the ''pipe'' combinator comes from shell scripting. | On the practical side pipe-calculus is motivated by shell programming and streams. Indeed the idea of the ''pipe'' combinator comes from shell scripting. | ||