Haskellの型クラスがまだ活用できない
id:flalin:20100910:1284077635 に頂いたコメントを吟味するうちに学んだ.(揶揄気味に書いたのだが→)「標準ライブラリに用意された便利な高階関数」は,なにも全部を覚えゲーする必要はなくて,Haskellの特徴である厳密な型を手がかりに用いればよい.例えばHoogleというHaskell標準ライブラリの検索エンジンではシグネチャで検索できるので,やりたいことを型に翻訳することにちょっと慣れれば,大きく絞り込めるようだ.
しかし,まだやはり慣れない.例えばさっき悩んだのは,「Maybe
における mplus
は,両方の引数が Just _
だったときに第1引数を返す」という定義
- http://en.wikibooks.org/wiki/Haskell/MonadPlus Haskell/MonadPlus - Wikibooks, collection of open-content textbooks
これはHaskell Hierarchical Librariesのどこを探せば書いてあるのか?
- http://haskell.org/ghc/docs/6.12.1/html/libraries/base-4.2.0.0/Data-Maybe.html
- http://haskell.org/ghc/docs/6.12.1/html/libraries/base-4.2.0.0/Control-Monad.html#t%3AMonadPlus
(まぁ,よく見たら Real World Haskell 15章 Looking at Alternatives にも書いてあったのだが...)