co-log: Composable Contravariant Comonadic Logging Component • Dmitrii Kovanikov • YOW! 2019

This presentation was recorded at YOW! 2019. #GOTOcon #YOW https://yowcon.com Dmitrii Kovanikov - Haskell Developer at Holmusk @chshersh RESOURCES https://twitter.com/ChShersh https://www.linkedin.com/in/chshersh https://chshersh.com https://github.com/chshersh ABSTRACT 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. [...] RECOMMENDED BOOKS Rebecca Skinner • Effective Haskell • https://amzn.to/3SxTpwY Vitaly Bragilevsky • Haskell in Depth • https://amzn.to/3EXpmbe Saša Jurić • Elixir in Action • https://amzn.to/2RZh5eN Dave Thomas • Programming Elixir ≥ 1.6: Functional • https://amzn.to/34Dw3O5 McCord, Tate & Valim • Programming Phoenix 1.4 • https://amzn.to/3zcUqj4 https://twitter.com/GOTOcon https://www.linkedin.com/company/goto- https://www.facebook.com/GOTOConferences #Haskell #colog #Comonadic #ComonadicLogging #ProgrammingHaskell #FunctionalProgramming #GenericProgramming #Monad #SoftwareEngineering #Programming #HaskellFoundation #MonadTransformerLibrary #MTL #GHC #Thrunk #DmitriiKovanikov #YOWcon Looking for a unique learning experience? Attend the next GOTO conference near you! Get your ticket at https://gotopia.tech Sign up for updates and specials at https://gotopia.tech/newsletter SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily. https://www.youtube.com/user/GotoConferences/?sub_confirmation=1