New pages
- 21:16, 25 May 2023 Work-in-progress (hist | edit) [2,414 bytes] KalmanKeri (talk | contribs) (Created page with "This page is temporary home of immature content. == Pipe-calculus and Lambda calculus == === Encoding lambda calculus in pipe-calculus === Lambda calculus is probably the most popular and well researched model of computation. It is an inevitable reference point for any calculus with computational capabilities. One of the most interesting questions is whether (and how) lambda calculus can be encoded into another calculus. Success of this task proves Turing-completeness...")
- 22:10, 9 May 2023 Syntax sugar (Pipe-calculus) (hist | edit) [2,560 bytes] 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...")