Join Newsletter

co-log: Composable Contravariant Comonadic Logging Component

YOW! Lambda Jam 2019

In this talk I'm going to share key design decisions behind Haskell logging library called co-log.

This library combines multiple algebraic concepts in order to provide convenient and composable solution for the logging problem:

  • Semigroup and Monoid
  • Contravariant/Divisible/Decidable
  • Comonads

I'm also going to show how we use this library in commercial Haskell projects.