12,180
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday December 20, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Propositions As Types (view source)
Revision as of 12:56, 24 March 2009
, 12:56, 24 March 2009→Composition, or the Composer: markup
==Composition, or the Composer==
==Composition, or the Composer==
===Step 1.===
===Step 1===
We are given a specification of the ''composition combinator'', or the ''composer'' <math>\operatorname{P},</math> in terms of the following effects:
or the "composer" P, that has the following effects:
{| align="center" cellpadding="8" width="90%"
| <math>x(y(z\operatorname{P})) = (xy)z</math>
|}
find an explication of P in terms of primitive combinators.
We are asked to find an explication of <math>\operatorname{P}</math> in terms of primitive combinators.
<pre>
Proceed as follows:
Proceed as follows:
