昨日のポストで取り上げた変わった型のApplicativeの2つ目: instance Monoid a => Applicative ( (,) a) where pure x = (mempty, x) (u, f) (v, x) = (u `mappend` v, f x) はMonoidが出てきます。今までかかわったことがなかったのですが、定義を見てみ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。