extensible effects でやっていくドメインロジック記述 @ Gotanda.hs #1
BSD-3-CLAUSE License
Graph-Theoretic Analysis library
🚧 a work in progress effect system for Haskell 🚧
Parsing with Derivatives, in Haskell, with GADTs.
outline & examples for my ZuriHac 2020 talk, Languages All the Way Down
Control.Effects
Dependently-typed language w/ little to say for itself
An implementation of "Freer Monads, More Extensible Effects".
Extensible effects à la Oleg, but with fancier effect sets.
An experiment towards a UI programming model inspired by algebraic effects.
higher-order, no-boilerplate monads
A friendly effect system for Haskell
just another compiler experiment
An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff
pure Haskell implementation of reduced ordered binary decision diagrams