[SIMILAR] WITH 16493 sequencea WITH 16493 applicative WITH 8246 traversable WITH 4927 、> WITH 3290 洞察 WITH 282 記事 WITH 134 ミ!! WITH 122 ツッ WITH 117 ッコ WITH 115 コミ WITH 1 !! WITH 1 ( WITH 1 konn WITH 1 ) WITH 1 すば WITH 1 ばら WITH 1 らし WITH 1 しい WITH 1 い記 WITH 1 事を WITH 1 をあ WITH 1 あり WITH 1 りが WITH 1 がと WITH 1 とう WITH 1 うご WITH 1 ござ WITH 1 ざい WITH 1 いま WITH 1 ます WITH 1 す! WITH 1 ! の検索結果 62 件中 1 - 10 件目 (0.259928258 秒)
すばらしい記事をありがとうございます! Traversableの章の洞察の節ですが、 > sequenceA :: Applicative f => (a -> f b) -> t a -> f (t b) となっていますが、 > sequenceA :: Applicative f => t (f a) -> f (t a) のまちがいではないでしょうか。 ...
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:7086)
The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許 ...
# (スコア:6876)
量が多いので取り敢えずとびとびで読みました。 じっくり読んで気づいた点があったらまた報告します。 > Monadを真にPointedやApplicativeやより力強くしている typo 「やより」 > Haskellは、その方が便利なので、joinの代わりに(>>=)を使って > 定義した同じ数式を使用します。 「Haskellはjoinを使った構成と ...
# (スコア:6558)
> このライブラリは、Applicativeな型は...見解を具体化します。 「このライブラリは（論文の?）知見を具体化しています。その知見とは（中でも）、Applicativeな型は合成に関して閉じていて、よって簡単な型から複合された型に対するApplicativeのインスタンスはしばしば機械的に派生させられるというものです ...
# (スコア:6483)
またまたありがとうございます。 >> このライブラリは、Applicativeな型は...見解を具体化します。 > 「このライブラリは（論文の?）知見を具体化しています。 > その知見とは（中でも）、Applicativeな型は合成に関して > 閉じていて、よって簡単な型から複合された型に対する > Applicativeのインスタンスはし ...
# (スコア:6482)
Maybeの中の値を元に、Maybe自体をNothingにしたいケースが結構あります。例えば、Maybe Stringで中の文字列が空の場合にはNothingにしたいケースなどです。 nonEmptyString :: Maybe String -> Maybe String nonEmptyString s = case s of Just s | s /= "" -> Just s _ -> Nothing これを少し一般化すると、こ ...
# (スコア:6482)
typo系 「((,) e)はe型の「注釈」を実際の値と共に保持するコンテナを*現し*ます」 「関数をコンテナの「内部」に*適用にして*新しいコンテナを生成します」 「*リスト10*は、Control.Applicativeで定義されている」=> リスト11 「fmapはApplicativeのメソッドを使って実装することができ*まので*」 「Writer w ...
# (スコア:6482)
「もしくは、もっと*慣習的*に、以下のように書きます」=>「慣用句的に」 「これらの型クラスは厳密に ... メソッドを実装することができます」=> 「これらの型クラスはそのメソッドを使用してApplicativeのメソッドを実装することができるという意味において厳密にApplicativeよりも表現力があります」 「fmap ...
# (スコア:6482)
> Functor制約は、我々を正直にさせるのです。 「Functor制約（「Functor f =>」のこと）が付いているので（Functor でない型を Applicative として宣言するような）ごまかしはできません。」 ...
# (スコア:6482)
# (スコア:10000)