On 06/26/2014 11:35 AM, Walter Bright wrote:
On 6/26/2014 2:19 AM, bearophile wrote:
One kind of problem left is to avoid stack overflows.
In general, stack overflow checking at compile time is the halting
problem.
That is irrelevant to his point because he is not suggesting to solve
the general problem precisely. Analogously: In general, checking whether
some variable in e.g. Python is ever assigned a string value is
undecidable as well, but this does not imply we cannot have 'int'
variables in D.
