On Wed, 29 Oct 2003 12:08:20 GMT, Ben Laurie said: > Duh. That's a complete misunderstanding of the halting problem - which > is, in essence, that you can't write a program which can predict, in > general, whether another program will halt. Its perfectly possible to > write programs that are guaranteed to halt. Correct. The point is that 'can you design a language that *guarantees* non terminating programs' is isomorphic to the compiler solving the Halting Problem. It's easy to design languages that make it *difficult* to make a programming whoops. It's impossible to design one that *guarantees* it.
Attachment:
pgp00131.pgp
Description: PGP signature