Hacker News new | past | comments | ask | show | jobs | submit login

>> 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?




No, because every function you call could be depending on hidden state that's not in your scope.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: