Properties that are determinable of a ruby program in a static context:
-
things that are impossible to determine in ruby: whether any line of code will actually execute, including the entrypoint
Is there any language where that is not true? Determining if a line of code will execute is literally the halting problem
-
-
trivially: int main() { return 0; } All the lines of this program execute.
-
Yes, if you write a trivial program it is trivial to determine. Same does not hold for any program
- 1 more reply
New conversation -
-
-
This Tweet is unavailable.
-
I felt that "Turing complete" was implied. ;)
End of conversation
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.