[racket] raise vs abort

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Jan 6 07:49:05 EST 2011

On Thu, Jan 6, 2011 at 6:32 AM, Keiko Nakata <keiko at kurims.kyoto-u.ac.jp> wrote:
>> I don't think `raise' can be defined via `abort'.
>
> This is something I want to understand, as it is often
> said that 'raise' is implementable via 'abort'. I mean,
> I want to see how Racket diverges from these conventional view
> and, more importantly, why.

I'm not completely clear, but I think the only point is that 'raise'
does not, in general, actually abort. It calls a handler that makes
the decision to abort or not. When aborting actually happens, however,
abort is what does the aborting.

Robby


Posted on the users mailing list.