Scope not extending Exception?

Ron Pressler ron.pressler at
Mon Oct 8 14:38:33 UTC 2018


That discussion ( contained some 
hypothetical language-design ideas that, in order to be effective, would require some non-trivial
changes to the Java language which may not be in the spirit of the language.

A type-safe effect system is not _currently_ being discussed as part of Project Loom, but
other languages could implement it on top of Loom.


On October 8, 2018 at 2:40:12 PM, moo boo (moo4gold at wrote:


apparently original Quazar thinking was Scope would extend Exception
so that it would be possible to statically check that yeilding to a particular Scope
is only possible within a dynamic scope of a continuation with an appropriate Scope

this wasn't possible to achive in project Loom so far isn't that right?
so this will be only a run-time check not a compile-time?


More information about the loom-dev mailing list