コモナドを使った抽象化の威力をライフゲームで試してみた - Qiita

class Functor m => Monad m where return :: a -> m a (>>=) :: (a -> m b) -> m a -> m b join :: m (m a) -> m a join = (>>= id) k >>= m = join $ fmap k m extract は return と、extend は >>= と、duplicate は join と、それぞれなんとなく反対になってるような気がしますよね？（m と w も上下反対の対応がありますねｗ） コモナドの感覚を掴むために具体的な実装を見てみましょう。 -- | List Zipper data Z a = Z [a] a [a] left, right :: Z a -> Z a left (Z (l:ls) c rs) = Z ls l (c:rs) right (Z ls c

[Quramy]

絵に味がある…！

[lazex]

何故か脳内に浮かび上がったのはクラナド

[igrep]

"countNeighboursとlifeはどちらも１つの点の振る舞いについて記述しているだけですがこれをextends\を使って全体を発展させる処理に簡単に変換することが出来ました"