morning_reading https://blog.hatena.ne.jp/morning_reading/ 毎朝30分読書会 https://morning-reading.hatenadiary.org/ 今日は Monad クラスの説明を読みました。 Monad もただの型クラス(ただし do 記法など特別扱いされてるところも) 以下の2つのメソッドを実装する return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b ついでに練習問題の最初のほうをやってしまいます。 1. mult :: Nat -> Nat -> Nat mult Zero _ = Zero mult _ Zero = Zero mult (Succ n) m = add m (mult n m) 2. これが元の実装よりも効率的な理由というのがわかりませんでした。元も二分探索… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmorning-reading.hatenadiary.org%2Fentry%2F20110506%2Fp1" title="プログラミング Haskell 第10章 型とクラスの定義 その4 - 毎朝30分読書会" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-05-06 00:00:00 rich https://morning-reading.hatenadiary.org/entry/20110506/p1 1.0 100%