4 ms·
>> The problem with operational semantics is exactly that of imperative code: in order to understand what some code will do, you need to know everything which '
by ollysb 12y ago
>> The problem with operational semantics is exactly that of imperative code: in order to understand what some code will do, you need to know everything which 'happened before' (ie. the current state of the machine).
Wouldn't knowledge of everything within the current scope be sufficient?
- ef4 12y agoNo, because every function you call could be depending on hidden state that's not in your scope.