Unison Abilities


Topic | v1 | created by jjones |
Description

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.


Relations

is Algebraic effects

Algebraic effects are an approach to computational effects based on a premise that impure behaviour a...


Edit details Edit relations Attach new author Attach new topic Attach new resource
Resources

treated in What's cool about Unison? | Jared Forsyth.com

9.0 rating 2.0 level 10.0 clarity 1.0 background – 1 rating

Unison is doing a lot of interesting things, and as I recently implemented an alternative runtime in...

has official Abilities in Unison

Unison's type system tracks which functions can do I/O, and the same language feature, called abiliti...