Skip to content

Update mentions of Console #136

@jiribenes

Description

@jiribenes

The following excerpts from the "Concepts > Effect Handlers" page are really outdated, mentioning Console:

# An Introduction to (Algebraic) Effect Handlers
Besides the built-in functions like `println` that have effects (e.g. `Console`),
which are tracked by the effect system, Effekt also offers _user definable control effects_.

... and the notion of "builtin effects"

> **Remark**
> Builtin side-effects like printing to the console are tracked, but cannot
> be handled, and their semantics is fixed. Hence, we do not track them as
> effects, but as [second-class _resources_](https://doi.org/10.1145/3527320).


For effect handlers in particular, it might be worth it to cross-reference them with the Tour: the page Tour > Captures has a nice explanation of captures, but the Concepts > Effect Handlers seem a better intro to handling than the Tour > Effect Handlers.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Type

    No type

    Projects

    Status

    Todo

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions