日本語

Beautiful Logging with Category Theory: Why The Writer Monad Is Unfit for Logging and Which Monad To Replace It With

Every category theory guru you’ve read explains the Writer monad using logging as an example. But logging is a bad example because—despite the name—the definition of the Writer monad allows reads—and worse, modifications—of the whole log. This can’t be right for two reasons. It’s too costly. And logs are typically only written to, never read from and definitely not modified.

So what is the category-theoretic correct way to do logging?

This talk delivers three benefits. It gives you the answer. You’ll see a free monad in action. And you’ll understand the theory better than before.

Session length
40 minutes
Language of the presentation
English
Target audience
Intermediate: Requires a basic knowledge of the area
Who is your session intended to
Anyone who wants to write Scala without risking public shaming for misusing abstractions.
Speaker
Kim-Ee Yeoh

voted / votable

Candidate sessions