Haskell Advent Calendar に投稿した

今年は Haskell Advent Calendar 2017 (その1) に投稿してみた。

• スーパーモナドについて - Qiita

次の論文で提案された、スーパーモナドという概念を解説するという内容。

• J. Bracker and H. Nilsson. Supermonads: one notion to bind them all. In Proceedings of the 9th International Symposium on Haskell, pages 258-269, 2016.

用語の日本語訳は適当に充ててみたけど、自然な訳になってるか一抹の不安が。

• supermonad → スーパーモナド
• indexed monad → 指標付きモナド
• effect monad → 作用モナド
• constrained monad → 制約付きモナド

一応、指標付きモナドは "What I Wish I Knew When Learning Haskell" の日本語訳 から。 他は本当に適当。

スーパーモナドは "超モナド" と訳したほうが面白かったかな？