Comment on Turn O(n^2) reverse into O(n)parentComments−zvrba12yWhy do you think that there must be a tradeoff between simplicity of denotational and operational semantics?−Peaker12yBecause operational semantics (of contemporary computers, at least) are very different from a simple denotational semantics.We have to bridge that gap:1) Either use a compiler that hides away the operational details2) Or use a language that directly maps to the operational semantics, but then is necessarily far away from the denotational ones
Comments
Why do you think that there must be a tradeoff between simplicity of denotational and operational semantics?
Because operational semantics (of contemporary computers, at least) are very different from a simple denotational semantics.
We have to bridge that gap:
1) Either use a compiler that hides away the operational details
2) Or use a language that directly maps to the operational semantics, but then is necessarily far away from the denotational ones