- From delimited continuations to algebraic effects in Haskell https://blog.poisson.chat/posts/2023-01-02-del-cont-examples.html 33 comments haskell
- Lysxia - Initial and final encodings of free monads https://blog.poisson.chat/posts/2021-10-20-initial-final-free-monad.html 5 comments haskell
- Definitional lawfulness: proof by inspection testing https://blog.poisson.chat/posts/2020-08-08-definitional-lawfulness.html 6 comments haskell
- Generic traversals with applicative difference lists https://blog.poisson.chat/posts/2020-08-05-applicative-difference-lists.html 9 comments haskell
- Testing higher-order properties with QuickCheck https://blog.poisson.chat/posts/2020-02-24-quickcheck-higherorder.html 7 comments haskell
- A monad is just a submonad of the continuation monad, what's the problem? https://blog.poisson.chat/posts/2019-10-27-continuation-submonads.html 33 comments haskell
- The reasonable effectiveness of the continuation monad https://blog.poisson.chat/posts/2019-10-26-reasonable-continuations.html 5 comments haskell
- Functor, Applicative, Monad, a play https://blog.poisson.chat/posts/2019-07-17-functor-play.html 4 comments haskell
- Free applicative functors in Coq https://blog.poisson.chat/posts/2019-07-14-free-applicative-functors.html 8 comments coq
- Free monads of free monads https://blog.poisson.chat/posts/2019-06-09-free-monads-free-monads.html 15 comments haskell
- Higher-rank types in Standard Haskell https://blog.poisson.chat/posts/2019-03-25-higher-rank-types.html 12 comments haskell
- Naming abstraction, a short exercise about the names of things http://blog.poisson.chat/posts/2018-12-09-naming-abstraction.html 18 comments haskell
- Surgery for data types http://blog.poisson.chat/posts/2018-11-26-type-surgery.html 9 comments haskell
- Haskell with only one type family (and first-class families) http://blog.poisson.chat/posts/2018-08-06-one-type-family.html 22 comments haskell
- Heterogeneous lists with dependent types in Haskell http://blog.poisson.chat/posts/2018-06-06-hlists-dependent-haskell.html 3 comments haskell
- Monadic profunctors for bidirectional programming https://blog.poisson.chat/posts/2017-01-01-monadic-profunctors.html 12 comments haskell
- A quick tour of generic-random http://blog.poisson.chat/posts/2018-01-05-generic-random-tour.html 7 comments haskell
- Performance debugging in aeson http://blog.poisson.chat/posts/2017-10-08-aeson-perf.html 20 comments haskell