圏論による美しきロギング: なぜ Writer モナドはロギングに向かないか、どのモナドに置き換えるか

圏論の導師たちは、Writer モナドを説明する時にロギングを例に出します。しかし、ロギングは悪い例です。なぜなら、Writer モナドの定義は、その名前に反してログ全体を読んだり変更したりできます。これは二つの理由で正しくありません。一つはコストが非常に高くつくこと。もう一つは、ログは典型的には書かれるだけのもので、読んだり、ましてや絶対に変更してはいけないからです。

では、圏論的に正しいロギングの方法は何でしょうか？

このトークでは三つのメリットを提供し、解答を提示します。あなたは Free モナドの実践を目にし、その理論をよりよく理解できるでしょう。

トークの長さ

40分

発表言語

英語

聴衆の対象

中級者: 分野の基礎は分かるが、細かい所は不安

こんな人におすすめ

Scala を書く際に、誤った抽象化を使って皆の前で恥をかきたくない人

発表者

Kim-Ee Yeoh