[SIMILAR] WITH 16493 applicative WITH 8246 」=> WITH 8246 値a WITH 6024 る* WITH 5958 行パ WITH 5599 ト11 WITH 5518 同型 WITH 5440 力値 WITH 4869 注釈 WITH 2814 ト10 WITH 2422 control WITH 2204 保持 WITH 1732 テナ WITH 1587 メソ WITH 1491 関数 WITH 1378 ナを WITH 1292 ソッ WITH 1219 内部 WITH 1171 適用 WITH 1151 生成 WITH 1067 定義 WITH 1035 出力 WITH 958 ンテ WITH 837 実装 WITH 690 実行 WITH 549 リス WITH 537 コン WITH 507 パス WITH 465 能性 WITH 385 ンス WITH 355 実際 WITH 329 ッド の検索結果 149 件中 1 - 10 件目 (0.070331872 秒)
typo系 「((,) e)はe型の「注釈」を実際の値と共に保持するコンテナを*現し*ます」 「関数をコンテナの「内部」に*適用にして*新しいコンテナを生成します」 「*リスト10*は、Control.Applicativeで定義されている」=> リスト11 「fmapはApplicativeのメソッドを使って実装することができ*まので*」 「Writer w ...
少し言葉を変えてほぼ反映しました。ありがとうございます。 前回ご指摘いただいたApplicativeの件も、直前の文ではなくて、さらにその前の文につながっていると考えると納得がいくので、(注釈は除いて)反映させました。 ...
# (スコア:6619)
Maybeの中の値を元に、Maybe自体をNothingにしたいケースが結構あります。例えば、Maybe Stringで中の文字列が空の場合にはNothingにしたいケースなどです。 nonEmptyString :: Maybe String -> Maybe String nonEmptyString s = case s of Just s | s /= "" -> Just s _ -> Nothing これを少し一般化すると、こ ...
# (スコア:6618)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:6594)
またまたありがとうございます。 >> このライブラリは、Applicativeな型は...見解を具体化します。 > 「このライブラリは(論文の?)知見を具体化しています。 > その知見とは(中でも)、Applicativeな型は合成に関して > 閉じていて、よって簡単な型から複合された型に対する > Applicativeのインスタンスはし ...
# (スコア:6559)
> このライブラリは、Applicativeな型は...見解を具体化します。 「このライブラリは(論文の?)知見を具体化しています。その知見とは(中でも)、Applicativeな型は合成に関して閉じていて、よって簡単な型から複合された型に対するApplicativeのインスタンスはしばしば機械的に派生させられるというものです ...
# (スコア:6547)
すばらしい記事をありがとうございます! Traversableの章の洞察の節ですが、 > sequenceA :: Applicative f => (a -> f b) -> t a -> f (t b) となっていますが、 > sequenceA :: Applicative f => t (f a) -> f (t a) のまちがいではないでしょうか。 ...
# (スコア:6546)
> Functor制約は、我々を正直にさせるのです。 「Functor制約(「Functor f =>」のこと)が付いているので(Functor でない型を Applicative として宣言するような)ごまかしはできません。」 ...
# (スコア:6546)
The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許 ...
# (スコア:6546)
「もしくは、もっと*慣習的*に、以下のように書きます」=>「慣用句的に」 「これらの型クラスは厳密に ... メソッドを実装することができます」=> 「これらの型クラスはそのメソッドを使用してApplicativeのメソッドを実装することができるという意味において厳密にApplicativeよりも表現力があります」 「fmap ...
# (スコア:5917)
# (スコア:10000)