[plt-scheme] solving the halting problem

From: Grant Rettke (grettke at acm.org)
Date: Thu Jan 3 15:37:11 EST 2008

On Jan 2, 2008 11:58 AM, Robby Findler <robby at cs.uchicago.edu> wrote:
> Depends what you want to do.

Per another thread via Robby:

Kill shuts down the custodian (and is not catchable) and stop sends a
break (which is catchable).

Try this infinite loop to see the difference:

(with-handlers ((exn:break?
                (λ (x)
                  (printf "broken\n"))))
 (let loop () (loop)))

stop will print something, kill won't.

Posted on the users mailing list.