|
![](/i/fill.gif) |
On 22-7-2009 23:50, Darren New wrote:
> andrel wrote:
>>>> So no GOTO then?
>>> Forward goto, sure. :-)
>> define forward
>
> Such that you never branch to an address you've already executed.
That is a rather useful definition, but it may have to imply that the
code that you jump to is not reachable in any other way. Or perhaps that
is what you want.
>> Perhaps also things that are decidable are not really useful to know.
>
> Nah. It's useful to know you haven't violated the type system, and
> that's decidable.
>
I seem to remember that type systems had the same complexity as or might
even be Turing machines in themselves, but I assume you know better.
Post a reply to this message
|
![](/i/fill.gif) |