#3 [全文検索]

■Prelude - a Haskell-like functional library

Rubyで関数プログラミングっぽく書くためのライブラリ。 ...

■[Haskell] Type Families (5)

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 これ ...

■[Haskell] 列挙型

data Color = RED | BLUE のような型があるときに、この値と整数をマッピングするにはEnumを使うのが楽です。 data Color = RED | BLUE deriving Enum intToColor = toEnum colorToInt = fromEnum ところが、intToColorに範囲外の整数を渡されると例外になってしまってうれしくありません。適当なデフォルト値に ...

■[Haskell] Functional Programming with Overloading and Higher-Order Polymorphism

あちこちで紹介されているので読んでみました。全て理解したわけではないですが、今までなんとなくもやもやだったkindについては結構スッキリしました。 型推論に関しては、Types and Programming Languagesがあちこちで薦められていますが理解できるんだろうか… ...

■Rubyで関数プログラミング

■[Haskell] Programming in Haskell

また本が出るようです。目次をざっと見たところでは、The Craft of Functional Programmingと同じような雰囲気? ...

■[Haskell] Type Classes with Functional Dependencies

モナドのすべてを読んでいるとしばしば出てくる、「複数パラメータの型クラスとfunDepという標準のHaskell 98にはない言語拡張をつかっています」の意味がようやくわかりました。 ...

■[Haskell] ふつうのHaskellプログラミング

初めて触れる人には、入門Haskellよりわかりやすいのではないかと。 関数型言語を全く知らない場合には、やはりHaskell: The Craft of Functional Programmingの方がお勧めかも。 ...

■[Haskell] Programming with Arrows

a -> m bの関数を合成するKleisli Compositionから入るArrowsのチュートリアル。身近な話題から入っているので、私にとっては他のArrowsの話よりも導入部分がわかりやすいです。まだ最後まで読んでいないので、理解したわけではないですけど。 HXTのArrows APIはなんとなく使えはするものの、ちゃんと理解してい ...

■[Haskell] Type Families

Invalid TextData Familiesは、型パラメータに依って実装を変えたいときに使えます。C++のテンプレートでの特殊化みたいなものでしょうか。 {-# LANGUAGE TypeFamilies #-} import qualified Data.Sequence as Seq data family Vector a -- BoolのVectorはリストで表現 data instance Vector Bool = BoolVector ...