[SIMILAR] WITH 7323 語拡 WITH 6024 dependencies WITH 5771 functional WITH 5742 classes WITH 5572 数パ WITH 5341 型ク WITH 5138 haskell WITH 2197 ナド WITH 1803 モナ WITH 1273 拡張 WITH 955 ラメ WITH 936 標準 WITH 896 言語 WITH 738 複数 WITH 720 パラ WITH 290 ラス WITH 287 クラ WITH 283 意味 WITH 222 ータ WITH 194 メー WITH 1 [ WITH 1 ] WITH 1 type WITH 1 with WITH 1 ドの WITH 1 のす WITH 1 すべ WITH 1 べて WITH 1 てを WITH 1 を読 WITH 1 読ん WITH 1 んで の検索結果 237 件中 1 - 10 件目 (0.083429258 秒)
モナドのすべてを読んでいるとしばしば出てくる、「複数パラメータの型クラスとfunDepという標準のHaskell 98にはない言語拡張をつかっています」の意味がようやくわかりました。 ...
Synonym Familiesの別の良くある例はこんな感じのもの。 class Mul a b where type Result a b (*) :: a -> b -> Result a b instance Mul Int Int where type Result Int Int = Int (*) = (Prelude.*) instance Mul Int Double where type Result Int Double = Double (*) x y = fromIntegral Prelude.* y これ ...
# (スコア:5755)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:4896)
また本が出るようです。目次をざっと見たところでは、The Craft of Functional Programmingと同じような雰囲気? ...
# (スコア:4830)
ご指摘ありがとうございます。二番目を除いてほとんどそのまま反映させました。 二番目は、「Haskellは同等の数式を定義するのに、joinの代わりに(>>=)を使用します。これは、その方が便利なためです。」にしてみました。"equivalent formulation"が、圏論においてモナドを定義する式と同等な式(つまりMonadの ...
# (スコア:4743)
Rubyで関数プログラミングっぽく書くためのライブラリ。 ...
# (スコア:4602)
あちこちで紹介されているので読んでみました。全て理解したわけではないですが、今までなんとなくもやもやだったkindについては結構スッキリしました。 型推論に関しては、Types and Programming Languagesがあちこちで薦められていますが理解できるんだろうか… ...
# (スコア:4602)
初めて触れる人には、入門Haskellよりわかりやすいのではないかと。 関数型言語を全く知らない場合には、やはりHaskell: The Craft of Functional Programmingの方がお勧めかも。 ...
# (スコア:4596)
Typeableのインスタンスにするために、 data X = X instance Typeable X where typeOf _ = mkTyConApp (mkTyCon "X") [] のようなことをやっていたのですが、 data X = X deriving Typeable とできるのですね…(-fglasgow-extsが必要です)。 ...
# (スコア:4588)
一つの例をモナドを合成しながら拡張していくという形で説明されているので使い方のチュートリアルとしてはかなり分かりやすいと思います。最後に、モナドの型クラスの方(MonadReaderとかMonadStateなど)にも触れているとなお良かったかも。 ...
# (スコア:4483)
# (スコア:10000)