คำถามติดแท็ก continuations

เรียกคืนการแปลงสภาพต่อเนื่อง (การแปลง CPS) ซึ่งใช้ถึงβ A : = R R A (โดยที่คงที่R ) และf : A → Bถึงβ f : β A → β B ที่กำหนดโดย βAAAβA : = RRAβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}RRRฉ: A → Bf:A→Bf : A \to Bβฉ: βA → βBβf:βA→βB\beta f : \beta A \to \beta B ในความเป็นจริงเรามีmonad …

13 functional-programming  monad  continuations  cps-transforms