「モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？」 - Qiita

2014/12/30 29 users モナド Qiita ETA Circ 問題

$\mathcal{C}$を圏とする. 組$(T,\eta,\mu)$が$\mathcal{C}$上の モナド とは, 関手$T:\mathcal{C} \to \mathcal{C}$および自然変換$\eta: 1 \to T$, $\mu: T^2 \to T$が以下を満たすこととする. $\mu \circ \mu T = \mu \circ T \mu$ $\mu \circ \eta T... 続きを読む

絶対に理解出来ないモナドチュートリアル - konn-san.com

2013/06/27 215 users モナド セミコロン 接ぎ木 有象無象 設計図

絶対に理解出来ないモナドチュートリアル 世の中には、恐しい数のモナドチュートリアルがあって、それぞれモナドは象だとか、いや接ぎ木だ とか、プログラマブル・コンテナだとか、プログラム可能なセミコロンだとか、設計図の色々な説明がなされている。「モナド チュートリアル」で検索すれば、他にも色々に絵解きされた有象無象のモナドが大量に引っ掛かる。そうそう、モナドは単なる自己関手の圏におけるモノイド対象だよ。... 続きを読む

Indexed Monadの世界 - モナドとわたしとコモナド

2013/05/04 27 users モナド Haskell コモナド 前後 アクション

2013-05-04 Indexed Monadの世界 もっと、モナドの力を引き出したくはないか？ え？アクションの前後で型を変えたい？いやいやいや、モナドは自己関手の圏上の単なるモノイドだよ、そんなことができ…る…！？えっ、できるの…マジで…？ できる。そう、Haskellならね。 {-# LANGUAGE QuasiQuotes #-} import Control.Monad.Indexed... 続きを読む