- Associated effects allow the effects in trait members to depend on the instance type. - This makes it easy to create abstractions over both pure and effectful operations, + Associated effects allow the effects in trait members to depend on the instance + type. + This makes it easy to create abstractions over both pure and effectful + operations, and mutable and immutable data structures.
- The code on the left adds an associated effect Aef
to the Coll
trait,
+ The code on the left adds an associated effect Aef
to
+ the Coll
trait,
which makes it possible to add instances for mutable collections.
+ Flix supports seamless Java interoperability, making it possible to reuse code + from the Java Standard Library and the Java ecosystem, e.g., via Maven. +
++ Java support includes object creation, method invocation, exceptions, and + class/interface extension. +
+