Well, they start with an assumption that the halting problem is addressed simply...

jancsika on Jan 14, 2018 | parent | context | favorite | on: Miners Aren’t Friends

Well, they start with an assumption that the halting problem is addressed simply by "running out of gas." I could easily see a dev assessing the infinite loop potential and glibly thinking, "well, that would just run out of gas, too."

That doesn't explain the lack of guarantee on "constant". What is the technical detail which prevents such a guarantee?

falsprofet on Jan 14, 2018 [–]

I don't know, but constant as a function return value signature does not make much sense at all.