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