• Messages sorted by: [ date ][ thread ][ subject ][ author ] [ Next ]
• [ Previous ] In reply to: Mark S. Miller Next in thread: Mark S. Miller

On Wed, 2 Dec 1998, Mark S. Miller wrote:
>
> synchronous
> 1) call
> outcome
> 2) normal return
> non-local exit
> 3) throw
> 4) escaping (using an escape hatch)
> asynchronous
> 5) send
>
> The fundamental diagram describes restrictions obeyed by all these. Case
> #3 is further restricted in that E only allows objects to be thrown if they
> are transitively constant. (I believe all Throwables defined under java.**
> (as of Java 1.1.6) meet this criteria.) This additional restriction is not
> yet enforced.
>
> Case #2 needs a different name, since the name "return", as used in E code,
> is invariably associated with case #4.

[#] "Finish" might be one reasonable possibility. I am quite happy with, e.g. "...and then the function finishes with a value of 3".

!ping

[ Next ]
• [ Previous ] In reply to: Mark S. Miller Next in thread: Mark S. Miller