OPLSS/introduction-to-algebraic-effects-and-handlers

Introduction to algebraic effects and handlers

TeX

100

17 commits

updated Jul 21, 2018

README

Algebraic effects and handlers

These are the notes and materials for the lectures on algebraic effects and handlers at the Oregon programming languages summer school 2018 (OPLSS).

Each lecture contains a list of problems, which are ordered roughly in the order of difficulty, either in terms of trickiness, the amount of work, or prerequisites. I recommend that you discuss the problems in groups, and pick whichever problems you find interesting.

Lectures

What is algebraic about algebraic effects and handlers? (lectures 1, 2, and 3)
Designing a programming language (lecture 3)
Programming with algebraic effects and handlers (lecture 4)

General resources & reading material

Contributors

17 commits

Similar repos

andrejbauer/what-is-algebraic-about-algebraic-effects

49

yallop/effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

1,149

effekt-lang/effekt

A language with lexical effect handlers and lightweight effect polymorphism

470

matijapretnar/eff

A functional programming language based on algebraic effect handlers

924

maybevoid/casimir

Algebraic Effects in Haskell using Implicit Parameters

47

effect-handlers/effects-rosetta-stone

A comparison of how computational effects and handlers are implemented in various programming…

147

nuprl/hopl-s2017

History of Programming Languages, Spring 2017

139

graninas/software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in…

1,112

Languages

TeX

100.0%

OPLSS/introduction-to-algebraic-effects-and-handlers

Introduction to algebraic effects and handlers

TeX

100

17 commits

updated Jul 21, 2018

README

Algebraic effects and handlers

These are the notes and materials for the lectures on algebraic effects and handlers at the Oregon programming languages summer school 2018 (OPLSS).

Each lecture contains a list of problems, which are ordered roughly in the order of difficulty, either in terms of trickiness, the amount of work, or prerequisites. I recommend that you discuss the problems in groups, and pick whichever problems you find interesting.

Lectures

What is algebraic about algebraic effects and handlers? (lectures 1, 2, and 3)
Designing a programming language (lecture 3)
Programming with algebraic effects and handlers (lecture 4)

General resources & reading material

Similar repos

andrejbauer/what-is-algebraic-about-algebraic-effects

49

yallop/effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

1,149

effekt-lang/effekt

A language with lexical effect handlers and lightweight effect polymorphism

470

matijapretnar/eff

A functional programming language based on algebraic effect handlers

924

maybevoid/casimir

Algebraic Effects in Haskell using Implicit Parameters

47

effect-handlers/effects-rosetta-stone

A comparison of how computational effects and handlers are implemented in various programming…

147

nuprl/hopl-s2017

History of Programming Languages, Spring 2017

139

graninas/software-design-in-haskell

Software Design in Haskell. A structured set of materials. How to build real-world applications in…

1,112

Contributors

17 commits

Languages

TeX

100.0%