[SIMILAR] WITH 65975 nonemptystring WITH 49481 monoid WITH 41234 filtermaybe WITH 39313 maybe WITH 32987 applicative WITH 32987 getfirst WITH 30995 foldable WITH 24740 mappend WITH 23734 filter WITH 22862 deriving WITH 17501 nothing WITH 16493 foldmap WITH 16493 functor WITH 15582 just WITH 8246 mempty WITH 8085 instance WITH 7588 string WITH 5894 bool WITH 4434 般化 WITH 4359 first WITH 4134 の値 WITH 4043 テナ WITH 3423 pure WITH 2982 関数 WITH 2730 。no WITH 2659 値に WITH 2569 haskell WITH 2343 いケ WITH 2286 値を WITH 2236 ンテ WITH 2233 、ma WITH 2111 。fi の検索結果 187 件中 1 - 10 件目 (0.064621763 秒)
Maybeの中の値を元に、Maybe自体をNothingにしたいケースが結構あります。例えば、Maybe Stringで中の文字列が空の場合にはNothingにしたいケースなどです。 nonEmptyString :: Maybe String -> Maybe String nonEmptyString s = case s of Just s | s /= "" -> Just s _ -> Nothing これを少し一般化すると、こ ...
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:4443)
有用な記事の翻訳ありがとうございます.自分にはまだまだ難解なのですが,以下のtypoをみつけました. リスト24 のMonoid定義で型変数が抜けている class Monoid a where ...
# (スコア:3870)
Monoidのところで出てくるすべての「恒等」とCategoryに出てくる 「Categoryインスタンスのたった一つの法則は、... idは(.)の恒等であり」 のところだけの「恒等」は「単位元」。 ...
# (スコア:3870)
今更ではありますが、typoを見つけたのでご報告します。 Monad 定義 > (>>) :: m a ↓ > (>>) :: m a -> m b -> m b Monad インスタンス > 少なくとも、Monadクラス一般に関して読むのに合わせていじることのできる具体的な例が*得られるます*。 ↓ > 得られます。 Monoid インスタンス > 最後に、もしaがMonoidな ...
# (スコア:3852)
The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許 ...
# (スコア:3598)
キーと値からなる設定ファイルをパースするとします。設定ファイルはこんな感じです。 name=Test value=5 マップなどで値を持つという方法もありますが、ちゃんと型付けするために専用の型を用意することにします。そうするとパースするコードはこんな感じでしょうか。 import Control.Monad import Data.Maybe ...
# (スコア:3046)
またまたありがとうございます。 >> このライブラリは、Applicativeな型は...見解を具体化します。 > 「このライブラリは（論文の?）知見を具体化しています。 > その知見とは（中でも）、Applicativeな型は合成に関して > 閉じていて、よって簡単な型から複合された型に対する > Applicativeのインスタンスはし ...
# (スコア:2872)
typo系 「((,) e)はe型の「注釈」を実際の値と共に保持するコンテナを*現し*ます」 「関数をコンテナの「内部」に*適用にして*新しいコンテナを生成します」 「*リスト10*は、Control.Applicativeで定義されている」=> リスト11 「fmapはApplicativeのメソッドを使って実装することができ*まので*」 「Writer w ...
# (スコア:2615)
> このライブラリは、Applicativeな型は...見解を具体化します。 「このライブラリは（論文の?）知見を具体化しています。その知見とは（中でも）、Applicativeな型は合成に関して閉じていて、よって簡単な型から複合された型に対するApplicativeのインスタンスはしばしば機械的に派生させられるというものです ...
# (スコア:2580)
# (スコア:10000)