Monoids: Theme and Variations (Functional Pearl)

[ssirai]

monoid-pearl.pdf

• [x] 印刷する
• [x] 読む
• [ ] 理解する
• [ ] 記録を上げる
• [ ] リファレンスを調べる
• [ ] diagramsを実際に使う

疑問点があればコメントに残す方向で。

[ssirai]

本文中にreferencesが見当たらなかったが、ここに記述されていた。

[ssirai]

単語 :speech_balloon:	訳語
Themes and Variation	主題と変奏（音楽用語風味, Prelude, Interlude, Codaも）
envelope	包絡線 - Wikipedia

[ssirai]

:bulb: 理解

• [x] Abstract
• [x] Theme
• [x] Interlude
  • [x] 付録に hom f がモノイド準同型であることの証明
• [x] Variation I: Dualizing Diagrams
  • [ ] 元の定義と双対な型を簡単に定義できることは分かったが、実装はどうなっているのか
• [x] Variation II: Envelopes
  • [x] envelopeの具体的な計算方法は？（気にする必要はないが）
  • [x] 頂点のリストで表現される凸包は内包的表現であり、envelopeは凸包の外延的表現であるとはどういうことか
  • 読み返したら心持ち分かった気がする
• [x] Variation III: Caching Envelopes
• [x] Variation IV: Traces
• [x] Variation V: Transformations and monoid actions
• [x] Variation VI: Monoid-on-monoid action
• [x] Variation VII: Efficiency via deep embedding
• [x] Variation VIII: Difference lists
• [x] Variation IX: Generic monoidal trees
• [x] Variation X: Attributes and product actions
• [x] Coda