AG
Size: a a a
AG
KV
RR
A
AG
store
and fetch
operations are the delay
and force
operations that appear in any functional programming languages. In such languages, the delay primitive postpones the evaluation of a term until it is supplied to the force primitive as an argument. When this happens, the value of the delayed term is computed, returned, and memoized for any other applications of force. Abramsky has argued that this is a natural way to view the operational semantics of the store
and fetch
operations of LL; we will follow this approach as well.AG
YR
delay
это (quite ...)
что ли?YR
BK
YR
YR
AC
YR
AG
delay
это (quite ...)
что ли?RR
BK
LO
YR
(delay ..)
в СхемеRR