タグ付けされた質問 「cps-transforms」

リコールとる（CPS変換）変換通過継続AAAにβA ：= RRAβA：=RRA\beta A \mathrel{{:}{=}} R^{R^A}（固定され）、とによって定義 実際、単位を持つ継続モナドがあり定義され 及び乗算によって定義 F ：A → B β F ：β A → β B βRRRf：A → Bf：A→Bf : A \to Bβf：βA → βBβf：βA→βB\beta f : \beta A \to \beta BβfκR ：= κ （R ∘ F）。βfκr：=κ（r∘f）。\beta \, f \, \kappa \, r \mathrel{{:}{=}} \kappa (r \circ …

13 functional-programming  monad  continuations  cps-transforms