Editing Effect system (section)

=== Partial Support and Prototypes ===
* [[Scala (programming language)|Scala 3.1]] is a statically typed, functional and [[object oriented]] programming language with experimental support for effects that is limited to [[Exception (computer science)|exception]]s, in the form of a <code>CanThrow</code> capability.<ref>{{Cite web|title=CanThrow Abilities|url=https://docs.scala-lang.org/scala3/reference/experimental/canthrow.html|access-date=2021-12-07|website=Scala Documentation}}</ref>
* [[Java (programming language)|Java]] is a statically typed, object oriented programming language; its [[checked exception]]s are a relatively limited example of an effect system. Only one effect kind — <code>throws</code> — is available, there is no way to resume with a value, and they cannot be used with functions (only methods) unless the function implements a custom <code>[[@FunctionalInterface]]</code>.<ref>{{Cite web|title=Java 8 Lambda function that throws exception?|url=https://stackoverflow.com/questions/18198176/java-8-lambda-function-that-throws-exception|access-date=2021-12-25|website=Stack Overflow}}</ref>