283
edits
Pipe-calculus: Difference between revisions
m
→Alternatives
KalmanKeri (talk | contribs) |
KalmanKeri (talk | contribs) m (→Alternatives) |
||
| Line 105: | Line 105: | ||
there is a default case | there is a default case | ||
One can make choices exclusive by limiting themeselves to trees of alternatives where each leaf of the tree is one of the forms <math>a^+ . s</math> and <math>a^- . s</math> [and all atoms are different]. This is an example of guarded choice[]. It allows for the encoding of the sum type and the corresponding <math>case</math> expressions in strongly typed functional languages. | One can make choices mutually exclusive by limiting themeselves to trees of alternatives where each leaf of the tree is one of the forms <math>a^+ . s</math> and <math>a^- . s</math> [and all atoms are different]. This is an example of guarded choice[]. It allows for the encoding of the sum type and the corresponding <math>case</math> expressions in strongly typed functional languages. | ||
=== The pipe combinator === | === The pipe combinator === | ||