On 6/26/2014 2:52 AM, Timon Gehr wrote:
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.
When you're dealing with security issues, which is what this about, you'll need
a guarantee about stack overflow. Adding annotations is not helpful with this
because they are not checkable.
Again, what WORKS is a runtime check.
