[SIMILAR] WITH 16493 signleton WITH 8246 pointed WITH 7380 singleton WITH 6162 ト9 WITH 5341 型ク WITH 3394 「si WITH 1706 質的 WITH 1537 本質 WITH 1088 翻訳 WITH 728 指摘 WITH 290 ラス WITH 287 クラ WITH 274 リス WITH 134 ミ!! WITH 129 スト WITH 122 ツッ WITH 117 ッコ WITH 115 コミ WITH 1 !! WITH 1 ( WITH 1 life WITH 1 ) WITH 1 訳、 WITH 1 、あ WITH 1 あり WITH 1 りが WITH 1 がと WITH 1 とう WITH 1 うご WITH 1 ござ WITH 1 ざい WITH 1 いま の検索結果 106 件中 1 - 10 件目 (0.134449619 秒)
翻訳、ありがとうございます! とても助けになりました。 また、本質的な指摘ではありませんが、 リスト9: Pointed型クラス において、 > pure :: a -> f a -- またの名を、signleton, return, unit, point とありますが、 「signleton」ではなく、「singleton」だと思います。 ...
量が多いので取り敢えずとびとびで読みました。 じっくり読んで気づいた点があったらまた報告します。 > Monadを真にPointedやApplicativeやより力強くしている typo 「やより」 > Haskellは、その方が便利なので、joinの代わりに(>>=)を使って > 定義した同じ数式を使用します。 「Haskellはjoinを使った構成と ...
# (スコア:3764)
ご指摘ありがとうございます。二番目を除いてほとんどそのまま反映させました。 二番目は、「Haskellは同等の数式を定義するのに、joinの代わりに(>>=)を使用します。これは、その方が便利なためです。」にしてみました。"equivalent formulation"が、圏論においてモナドを定義する式と同等な式（つまりMonadの ...
# (スコア:2470)
The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許 ...
# (スコア:2452)
モナドのすべてを読んでいるとしばしば出てくる、「複数パラメータの型クラスとfunDepという標準のHaskell 98にはない言語拡張をつかっています」の意味がようやくわかりました。 ...
# (スコア:2445)
一つの例をモナドを合成しながら拡張していくという形で説明されているので使い方のチュートリアルとしてはかなり分かりやすいと思います。最後に、モナドの型クラスの方（MonadReaderとかMonadStateなど）にも触れているとなお良かったかも。 ...
# (スコア:2445)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:2439)
しかし、上のような例だと、Collectionを型クラスではなくて型構築子クラスにすれば、Synonym Familiesを使わなくても書けます。 class Collection c where empty :: c a add :: a -> c a -> c a instance Collection [] where empty = [] add = (:) instance Collection Seq where empty = Seq.empty add = (< ...
# (スコア:2438)
「もしくは、もっと*慣習的*に、以下のように書きます」=>「慣用句的に」 「これらの型クラスは厳密に ... メソッドを実装することができます」=> 「これらの型クラスはそのメソッドを使用してApplicativeのメソッドを実装することができるという意味において厳密にApplicativeよりも表現力があります」 「fmap ...
# (スコア:2438)
上の例だと、GADTを使っても同じような事ができます。 {-# LANGUAGE GADTs #-} import qualified Data.Sequence as Seq data Vector a where BoolVector :: [Bool] -> Vector Bool IntVector :: Seq Int -> Vector Int add :: a -> Vector a -> Vector a add v (BoolVector l) = BoolVector $ v:l add v (IntVe ...
# (スコア:2438)
# (スコア:10000)