Slide 20
Slide 20 text
ܧ ଓ ͷ ੜ
• ྫ͑ɺෳͷࣜΛॱ൪ʹධՁ͢ΔΑ͏ͳࣜ
e = (e1
: Expr, e2
: Expr, ..., eN
: Expr) : Expr
r = eval e, ri
= eval ei
― ධՁ݁Ռ
• ri
= Ok v 㱺 ei+1
Ҏ߱ͷධՁΛଓ͚Δ, i = N ͳΒ r = Ok v
• Cont f c 㱺 r = Cont f ((λx → eval ([r1
, ..., ri-1
,] x, ei+1
, ..., eN
)) ○ c)
• Next v 㱺 r = Next v