圏論の随伴をちゃんと抑えよう： お絵描き完全解説 - 檜山正幸のキマイラ飼育記 (はてなBlog)
[追記 date="後日"]日本語の表記として「抑える」より「押さえる」が正しい気がしてきたけど、このままにします。使い分けがさほど明確なわけじゃないし、「抑える」に「支配下に置く」ような雰囲気もあるので。[/追記] 「圏論の随伴をちゃんと抑えよう」のなかで、絵を使った計算について言及しています。 単位／余単位とニョロニョロ関係式を絵（ストリング図）で描けば次のようです。 これらの公式は、絵（ストリング図）を使うと自然に解釈できますが、その話は次の機会にします。 絵（ストリング図）で計算すれば楽です。絵算（pictorial/graphical/diagrammatic calculation）の話はいずれまとめてする予定です（今日はしない）。 絵が描けるので、随伴系の計算は絵算（pictorial/graphical/diagrammatic calculation）に持ち込めます。 ニ
The constraint trick for instances
and thought, “Shenanigans! Why not just have this?” Me too! I only learned of this solution relatively recently, and I know experienced Haskellers who also only understood this recently or still don’t. Hence this quick write up. Here’s the thought process. We’re writing a trivial pretty printer and we’re using Writer. We write things like:
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
