Questions tagged «continuations»

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 …
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.