283
edits
Syntax sugar (Pipe-calculus): Difference between revisions
→Let ... in
KalmanKeri (talk | contribs) (Created page with "Thoughtful application of syntax sugar makes programs easy to read, more compact and familiar to programmers. The syntax extensions described here are lightweight and well-defined. == Let ... in == <math> \def\seq{\mathrel{;}} \def\succeed{\textbf{succeed}} \def\alt{\mid} \def\fail{\textbf{fail}} \def\pipe{\rhd} \def\pass{\textbf{pass}} \def\in{\,?} \def\out{!} \def\rew{\mathrel{\Rightarrow}\,} </math> <math>\mathsf{let}</math> is a popular construct in functional lang...") |
KalmanKeri (talk | contribs) |
||
| Line 27: | Line 27: | ||
</math> | </math> | ||
According to the defined [[Pipe-calculus#Normal_forms|rewriting relation]], this can be brought to a normal form in two steps | According to the defined [[Pipe-calculus#Normal_forms|rewriting relation]], this can be brought to a normal form in two steps. | ||
<math>\out s . \fail \pipe \in x . t \rew \fail \pipe t[s/x] \rew t[s/x]</math>. | <math>\out s . \fail \pipe \in x . t \rew \fail \pipe t[s/x] \rew t[s/x]</math>. | ||