2
二进制函数的连续传递变换
回想一下延续通过变换（CPS变换）这需要到β 甲：= - [R [R 阿（其中[R是固定的）和˚F ：甲→ 乙至β ˚F ：β 甲→ β 乙通过定义 β一种AAβA ：= R[R一种βA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}[RRRF：A → Bf:A→Bf : A \to BβF：βA → β乙βf:βA→βB\beta f : \beta A \to \beta B 事实上我们有延续单子与单元 η 甲：甲→交通β 阿通过定义 η 甲 X ：= λ [R 。[RβFκ[R ：= κ （ř ∘ ˚F）。βfκr:=κ(r∘f).\beta …