index.md

layout	title	section	position	features
home	Home	section_home	1	first Lexical Effect Handlers (Algebraic) effect handlers let you define advanced control-flow structures like generators as user libraries. Those libraries can be seamlessly composed. #intro-handlers second Effect Safety A type- and effect system that does not get into your way. Rely on a simple, yet powerful effect system that guarantees all effects to be handled. #intro-safety third Lightweight Effect Polymorphism No need to understand effect polymorphic functions or annotate them. Just use what is in scope. #intro-polymorphism

Getting Started

If you are interested in the Effekt language, we have a few things to get you started:

Quick Guides

To get a first impression of the distinguishing features, read the quick-guides on this page (effect handlers, effect safety, effect polymorphism).

Try Online

To play around with the language, you can use the online editor.

Watch the Talks

We collected talks and demos about various aspects of the Effekt language in this Youtube playlist. Some aspects of the effect system are motivated in this keynote.

Installation Guide

To install Effekt and try the examples on your own computer you can follow the installation instructions.

Read the Papers

To understand the theory and concepts behind Effekt, you can read about design considerations, or read the academic papers.