Add resource "Abilities in Unison" Accepted
Changes: 7
-
Add Abilities in Unison
- Title
-
- Unchanged
- Abilities in Unison
- Type
-
- Unchanged
- Web
- Created
-
- Unchanged
- no value
- Description
-
- Unchanged
- Unison's type system tracks which functions can do I/O, and the same language feature, called abilities can be used for many other things, too. This is a tutorial on abilities.
- Link
-
- Unchanged
- https://www.unisonweb.org/docs/abilities/
- Identifier
-
- Unchanged
- no value
Resource | v1 | current (v1) -
Add Unison Abilities
- Title
-
- Unchanged
- Unison Abilities
- Description
-
- Unchanged
- Unison's type system tracks which functions can do I/O, and the same language feature, called abilities can be used for many other things, too. This is a tutorial on abilities.
- Link
-
- Unchanged
- https://www.unisonweb.org/docs/abilities/
Topic | v1 | current (v1) -
Add Algebraic effects
- Title
-
- Unchanged
- Algebraic effects
- Description
-
- Unchanged
- Algebraic effects are an approach to computational effects based on a premise that impure behaviour arises from a set of operations such as get & set for mutable store, read & print for interactive input & output, or raise for exceptions. This naturally gives rise to handlers not only of exceptions, but of any other effect, yielding a novel concept that, amongst others, can capture stream redirection, backtracking, co-operative multi-threading, and delimited continuations.
- Link
-
- Unchanged
- https://www.sciencedirect.com/science/article/pii/S1571066115000705
Topic | v1 | current (v1) -
Add Unison Abilities has official Abilities in Unison
- Current
- has official
Topic to resource relation | v1 -
Add Unison Abilities treated in What's cool about Unison? | Jared Forsyth.com
- Current
- treated in
Topic to resource relation | v1 -
Add Functional programming parent of Algebraic effects
- Current
- parent of
Topic to topic relation | v1 -
Add Unison Abilities is Algebraic effects
- Current
- is
Topic to topic relation | v1