On 6/26/14, 2:01 PM, Araq wrote:
Spark is a research language that does not work, as I've discovered
and discussed with you before. It cannot be determined the max stack
usage at compile time, again, this is the halting problem.
What?! It's easily solvable: Forbid recursion and indirect
function calls
I do agree that a useful subset of a language can be conservatively
defined that doesn't require solving the halting problem. But that's not
easy at all - it requires interprocedural analysis.
Andrei
