[SIMILAR] WITH 32987 」=> WITH 16493 applicative WITH 10682 型ク WITH 8246 的* WITH 8246 換* WITH 8246 近* WITH 7323 句的 WITH 6235 習的 WITH 5684 用句 WITH 5572 慣用 WITH 4763 メソ WITH 4605 造化 WITH 4474 厳密 WITH 4239 「ar WITH 3910 片的 WITH 3877 ソッ WITH 3817 慣習 WITH 3649 現力 WITH 2970 て去 WITH 2877 断片 WITH 2698 」? WITH 2611 の型 WITH 2464 装す WITH 2298 は捨 WITH 2186 原則 WITH 1886 「結 WITH 1868 法則 WITH 1749 密に WITH 1674 実装 WITH 1596 代替 WITH 1305 ノイ WITH 1060 構造 の検索結果 137 件中 1 - 10 件目 (0.066422463 秒)
「もしくは、もっと*慣習的*に、以下のように書きます」=>「慣用句的に」 「これらの型クラスは厳密に ... メソッドを実装することができます」=> 「これらの型クラスはそのメソッドを使用してApplicativeのメソッドを実装することができるという意味において厳密にApplicativeよりも表現力があります」 「fmap ...
「モノイドは、集合Sの要素を結合する*ニ項*演算+を伴った」=> 二項の二がかたかなの「ニ」になってる（笑） 「自然数は*最大値*の下で」=> 「max演算」の方がよいか。 ...
# (スコア:7259)
typo系 「((,) e)はe型の「注釈」を実際の値と共に保持するコンテナを*現し*ます」 「関数をコンテナの「内部」に*適用にして*新しいコンテナを生成します」 「*リスト10*は、Control.Applicativeで定義されている」=> リスト11 「fmapはApplicativeのメソッドを使って実装することができ*まので*」 「Writer w ...
# (スコア:6652)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:4395)
The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許 ...
# (スコア:4350)
またまたありがとうございます。 >> このライブラリは、Applicativeな型は...見解を具体化します。 > 「このライブラリは（論文の?）知見を具体化しています。 > その知見とは（中でも）、Applicativeな型は合成に関して > 閉じていて、よって簡単な型から複合された型に対する > Applicativeのインスタンスはし ...
# (スコア:3676)
量が多いので取り敢えずとびとびで読みました。 じっくり読んで気づいた点があったらまた報告します。 > Monadを真にPointedやApplicativeやより力強くしている typo 「やより」 > Haskellは、その方が便利なので、joinの代わりに(>>=)を使って > 定義した同じ数式を使用します。 「Haskellはjoinを使った構成と ...
# (スコア:3655)
Maybeの中の値を元に、Maybe自体をNothingにしたいケースが結構あります。例えば、Maybe Stringで中の文字列が空の場合にはNothingにしたいケースなどです。 nonEmptyString :: Maybe String -> Maybe String nonEmptyString s = case s of Just s | s /= "" -> Just s _ -> Nothing これを少し一般化すると、こ ...
# (スコア:3651)
> このライブラリは、Applicativeな型は...見解を具体化します。 「このライブラリは（論文の?）知見を具体化しています。その知見とは（中でも）、Applicativeな型は合成に関して閉じていて、よって簡単な型から複合された型に対するApplicativeのインスタンスはしばしば機械的に派生させられるというものです ...
# (スコア:3651)
すばらしい記事をありがとうございます! Traversableの章の洞察の節ですが、 > sequenceA :: Applicative f => (a -> f b) -> t a -> f (t b) となっていますが、 > sequenceA :: Applicative f => t (f a) -> f (t a) のまちがいではないでしょうか。 ...
# (スコア:3651)
# (スコア:10000)