タグ付けされた質問 「continuations」

2
バイナリ関数の継続受け渡し変換
リコールとる(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 …
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.