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