[SIMILAR] WITH 5771 functional WITH 5138 haskell WITH 4525 気? WITH 3926 programming WITH 3060 目次 WITH 541 雰囲 WITH 541 囲気 WITH 1 [ WITH 1 ] WITH 1 in 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 とこ WITH 1 ころ WITH 1 ろで WITH 1 では の検索結果 198 件中 1 - 10 件目 (0.194563416 秒)
また本が出るようです。目次をざっと見たところでは、The Craft of Functional Programmingと同じような雰囲気? ...
あちこちで紹介されているので読んでみました。全て理解したわけではないですが、今までなんとなくもやもやだったkindについては結構スッキリしました。 型推論に関しては、Types and Programming Languagesがあちこちで薦められていますが理解できるんだろうか… ...
# (スコア:8103)
初めて触れる人には、入門Haskellよりわかりやすいのではないかと。 関数型言語を全く知らない場合には、やはりHaskell: The Craft of Functional Programmingの方がお勧めかも。 ...
# (スコア:7642)
モナドのすべてを読んでいるとしばしば出てくる、「複数パラメータの型クラスとfunDepという標準のHaskell 98にはない言語拡張をつかっています」の意味がようやくわかりました。 ...
# (スコア:7521)
Rubyで関数プログラミングっぽく書くためのライブラリ。 ...
# (スコア:7165)
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 これ ...
# (スコア:7165)
a -> m bの関数を合成するKleisli Compositionから入るArrowsのチュートリアル。身近な話題から入っているので、私にとっては他のArrowsの話よりも導入部分がわかりやすいです。まだ最後まで読んでいないので、理解したわけではないですけど。 HXTのArrows APIはなんとなく使えはするものの、ちゃんと理解してい ...
# (スコア:6294)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:5607)
Haskellにはバイナリを読み書きする時に使えるBitSyntaxというライブラリがあります。rubyで言うところのpackとかunpackに近いでしょうか。パースする時には返り値の型が引数に依存するので、その部分のコードはTemplate Haskellになっています。例えば、tzfile形式のファイルをパースするならこんな感じになり ...
# (スコア:5001)
Invalid Text次はSynonym Families。引数の型によって関連づけられた型を変えたいときに使います。C++でいうところの、特殊化されたテンプレートの中のtypedefとでも言えるでしょうか。 ありがちな例としては、コレクションクラスがあります。 class Collection a where type Elem a empty :: a add :: Elem a ...
# (スコア:5001)
# (スコア:10000)