Questions marquées «continuations»

Rappelons la transformation de passage de continuation (transformée CPS) qui prend à β A : = R R A (où R est fixe) et f : A → B à β f : β A → β B défini par βUNEUNEAβUNE : = RRUNEβUNE:=RRUNE\beta A \mathrel{{:}{=}} R^{R^A}RRRF: A → BF:UNE→Bf …

13 functional-programming  monad  continuations  cps-transforms