maybevoid/casimir

Algebraic Effects in Haskell using Implicit Parameters

Haskell

213 commits

updated Aug 16, 2020

README

Casimir: Algebraic Effects in Haskell using Implicit Parameters

`implicit-effects` is currently work in progress and will soon be announced publicly. The code is mostly ready but documentation is being worked on.

Quick Overview

Tutorial

Haddock Documentation

Contributors

soareschen

213 commits

Similar repos

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

dorchard/effect-monad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning…

103

alexandersgreen/qio-haskell

The Quantum IO Monad, implemented in Haskell

106

effekt-lang/effekt

A language with lexical effect handlers and lightweight effect polymorphism

470

yallop/effects-bibliography

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

1,149

lexi-lambda/eff

🚧 a work in progress effect system for Haskell 🚧

144

jdreaver/eventful

Event Sourcing library for Haskell

109

discus-lang/ddc

The Disco Discus Compiler

176

Languages

Haskell

98.8%

maybevoid/casimir

Algebraic Effects in Haskell using Implicit Parameters

Haskell

213 commits

updated Aug 16, 2020

See the code

README

Casimir: Algebraic Effects in Haskell using Implicit Parameters

`implicit-effects` is currently work in progress and will soon be announced publicly. The code is mostly ready but documentation is being worked on.

Quick Overview

Tutorial

Haddock Documentation

Similar repos

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

dorchard/effect-monad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning…

103

alexandersgreen/qio-haskell

The Quantum IO Monad, implemented in Haskell

106

effekt-lang/effekt

A language with lexical effect handlers and lightweight effect polymorphism

470

yallop/effects-bibliography

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

1,149

lexi-lambda/eff

🚧 a work in progress effect system for Haskell 🚧

144

jdreaver/eventful

Event Sourcing library for Haskell

109

discus-lang/ddc

The Disco Discus Compiler

176

Contributors

soareschen

213 commits

Languages

Haskell

98.8%