Perguntas com a marcação «cps-transforms»

Lembre-se da transformação de passagem de continuação (transformação CPS) que leva para β A : = R R A (onde R é fixo) ef : A → B para β f : β A → β B definida por βUMAUMAAβA : = RRUMAβUMA:=RRUMA\beta A \mathrel{{:}{=}} R^{R^A}RRRf: A → Bf:UMA→Bf : …

13 functional-programming  monad  continuations  cps-transforms