[SIMILAR] WITH 65975 applicative WITH 41234 functor WITH 25546 知見 WITH 11917 な型 WITH 8479 械的 WITH 8239 体化 WITH 7323 ば機 WITH 7055 合型 WITH 6812 型宣 WITH 6760 派生 WITH 6142 複合 WITH 6098 制約 WITH 4292 「fu WITH 4279 型か WITH 3997 を具 WITH 3746 合成 WITH 3088 に派 WITH 3033 て簡 WITH 2687 具体 WITH 2461 型は WITH 2430 機械 WITH 1939 、ap WITH 1931 は合 WITH 1908 。> WITH 1895 宣言 WITH 1891 見解 WITH 1790 型に WITH 1726 分割 WITH 1651 ラリ WITH 1594 成に WITH 1591 生さ WITH 1587 メソ の検索結果 103 件中 1 - 10 件目 (0.066687329 秒)
またまたありがとうございます。 >> このライブラリは、Applicativeな型は...見解を具体化します。 > 「このライブラリは（論文の?）知見を具体化しています。 > その知見とは（中でも）、Applicativeな型は合成に関して > 閉じていて、よって簡単な型から複合された型に対する > Applicativeのインスタンスはし ...
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:9045)
Maybeの中の値を元に、Maybe自体をNothingにしたいケースが結構あります。例えば、Maybe Stringで中の文字列が空の場合にはNothingにしたいケースなどです。 nonEmptyString :: Maybe String -> Maybe String nonEmptyString s = case s of Just s | s /= "" -> Just s _ -> Nothing これを少し一般化すると、こ ...
# (スコア:9005)
The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許 ...
# (スコア:8814)
> このライブラリは、Applicativeな型は...見解を具体化します。 「このライブラリは（論文の?）知見を具体化しています。その知見とは（中でも）、Applicativeな型は合成に関して閉じていて、よって簡単な型から複合された型に対するApplicativeのインスタンスはしばしば機械的に派生させられるというものです ...
# (スコア:8434)
量が多いので取り敢えずとびとびで読みました。 じっくり読んで気づいた点があったらまた報告します。 > Monadを真にPointedやApplicativeやより力強くしている typo 「やより」 > Haskellは、その方が便利なので、joinの代わりに(>>=)を使って > 定義した同じ数式を使用します。 「Haskellはjoinを使った構成と ...
# (スコア:7670)
すばらしい記事をありがとうございます! Traversableの章の洞察の節ですが、 > sequenceA :: Applicative f => (a -> f b) -> t a -> f (t b) となっていますが、 > sequenceA :: Applicative f => t (f a) -> f (t a) のまちがいではないでしょうか。 ...
# (スコア:7670)
少し言葉を変えてほぼ反映しました。ありがとうございます。 前回ご指摘いただいたApplicativeの件も、直前の文ではなくて、さらにその前の文につながっていると考えると納得がいくので、（注釈は除いて）反映させました。 ...
# (スコア:7670)
typo系 「((,) e)はe型の「注釈」を実際の値と共に保持するコンテナを*現し*ます」 「関数をコンテナの「内部」に*適用にして*新しいコンテナを生成します」 「*リスト10*は、Control.Applicativeで定義されている」=> リスト11 「fmapはApplicativeのメソッドを使って実装することができ*まので*」 「Writer w ...
# (スコア:7653)
「もしくは、もっと*慣習的*に、以下のように書きます」=>「慣用句的に」 「これらの型クラスは厳密に ... メソッドを実装することができます」=> 「これらの型クラスはそのメソッドを使用してApplicativeのメソッドを実装することができるという意味において厳密にApplicativeよりも表現力があります」 「fmap ...
# (スコア:7420)
# (スコア:10000)