Scope not extending Exception?

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


Hi.

That discussion (http://blog.paralleluniverse.co/2015/08/07/scoped-continuations/) 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.

Ron


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

Hi,

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?

Thx,
Moo


More information about the loom-dev mailing list