Pipe-calculus: Difference between revisions

Pipe-calculus (view source)

33 bytes removed , 17 May 2023

283

edits

@@ Line 101: / Line 101: @@
 * choice and mathematical case analisys
-=== Exclusive choice ===
+==== Exclusive choice ====
-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.
+One can make choices mutually exclusive by limiting themeselves to trees of choices 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 sum types and the corresponding <math>case</math> expressions in strongly typed functional languages.
-Example: list of booleans
 === The pipe combinator ===