[plt-scheme] solving the halting problem

Grant Rettke grettke at acm.org
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.


More information about the plt-scheme mailing list