Pytania otagowane jako cps-transforms

Przypomnijmy transformację przechodzącą kontynuację (transformacja CPS), która przyjmuje do β A : = R R A (gdzie R jest ustalone) if : A → B do β f : β A → β B zdefiniowane przez βZAAAβOdp . : = RRZAβA:=RRA\beta A \mathrel{{:}{=}} R^{R^A}RRRfa: A → Bf:A→Bf : A \to …

13 functional-programming  monad  continuations  cps-transforms