On Thursday, 19 June 2014 at 19:37:32 UTC, H. S. Teoh via Digitalmars-d wrote: > But the non-solvability of the halting problem means that there > is no > algorithm that can compress every possible program. Even if true, programmers don't write every possible program when they try to write @safe code.