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

2
การส่งผ่านการแปลงต่อเนื่องของฟังก์ชันไบนารี
เรียกคืนการแปลงสภาพต่อเนื่อง (การแปลง 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 …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.