[SIMILAR] WITH 24740 monoid WITH 16493 mzero WITH 13096 monad WITH 12255 ス> WITH 8246 actorbug WITH 8246 義> WITH 8246 型e WITH 8246 monadplus WITH 8246 arrowplus WITH 8246 察> WITH 4621 alternative WITH 4473 関数 WITH 4434 般化 WITH 4054 当化 WITH 3324 ス一 WITH 3290 洞察 WITH 3263 。↓ WITH 2528 ス: WITH 2186 正当 WITH 1655 。mo WITH 1587 メソ WITH 1440 、mo WITH 1379 ドク WITH 1305 ノイ WITH 1292 ソッ WITH 1231 アロ WITH 1157 ンス WITH 1068 得ら WITH 1067 定義 WITH 1061 一般 WITH 923 タン WITH 905 今更 の検索結果 122 件中 1 - 10 件目 (0.112170123 秒)
今更ではありますが、typoを見つけたのでご報告します。 Monad 定義 > (>>) :: m a ↓ > (>>) :: m a -> m b -> m b Monad インスタンス > 少なくとも、Monadクラス一般に関して読むのに合わせていじることのできる具体的な例が*得られるます*。 ↓ > 得られます。 Monoid インスタンス > 最後に、もしaがMonoidな ...
Maybeの中の値を元に、Maybe自体をNothingにしたいケースが結構あります。例えば、Maybe Stringで中の文字列が空の場合にはNothingにしたいケースなどです。 nonEmptyString :: Maybe String -> Maybe String nonEmptyString s = case s of Just s | s /= "" -> Just s _ -> Nothing これを少し一般化すると、こ ...
# (スコア:6028)
有用な記事の翻訳ありがとうございます.自分にはまだまだ難解なのですが,以下のtypoをみつけました. リスト24 のMonoid定義で型変数が抜けている class Monoid a where ...
# (スコア:5888)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:5702)
量が多いので取り敢えずとびとびで読みました。 じっくり読んで気づいた点があったらまた報告します。 > Monadを真にPointedやApplicativeやより力強くしている typo 「やより」 > Haskellは、その方が便利なので、joinの代わりに(>>=)を使って > 定義した同じ数式を使用します。 「Haskellはjoinを使った構成と ...
# (スコア:4566)
The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許 ...
# (スコア:3125)
キーと値からなる設定ファイルをパースするとします。設定ファイルはこんな感じです。 name=Test value=5 マップなどで値を持つという方法もありますが、ちゃんと型付けするために専用の型を用意することにします。そうするとパースするコードはこんな感じでしょうか。 import Control.Monad import Data.Maybe ...
# (スコア:3125)
Invalid TextNewCGIはCGIモナドで、DBのアクセスはIOモナドの中で行われるので、もはや関数型というよりは単なる手続き型にしか見えません… import Control.Monad.Trans import Data.Maybe import qualified Database.HDBC as DB import qualified Database.HDBC.ODBC as ODBC import IO import Network.NewCGI ...
# (スコア:3125)
一つの例をモナドを合成しながら拡張していくという形で説明されているので使い方のチュートリアルとしてはかなり分かりやすいと思います。最後に、モナドの型クラスの方（MonadReaderとかMonadStateなど）にも触れているとなお良かったかも。 ...
# (スコア:3125)
# (スコア:10000)