[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