プログラミングHaskellの8章を読んでいて，Haskellのバインド演算子>>=について1週間ほど悩んだのでメモ。 まずghciでバインド演算子の型を聞くと， ghci> :t (>>=) (>>=) :: Monad m => m a -> (a -> m b) -> m b と返ってきます．悩んだのは，第二引数の a…

こんばんは。 「飽き性の生きる道」と題してブログを始めてみたはいいものの、みごと一瞬で飽き、1年半ほど触れていませんでした。 再開することにしました。 理由は「誰かに僕を発見してほしい」という気持ちが強くなったからです。 あと、最近、大学の部活…