[SIMILAR] WITH 7748 overloading WITH 7380 型推 WITH 7213 polymorphism WITH 5771 functional WITH 5518 推論 WITH 5134 languages WITH 4510 構ス WITH 3926 programming WITH 2569 haskell WITH 1360 スッ WITH 952 理解 WITH 685 キリ WITH 409 ッキ WITH 347 紹介 WITH 298 結構 WITH 1 [ WITH 1 ] WITH 1 with WITH 1 and WITH 1 higher WITH 1 - WITH 1 order WITH 1 あち WITH 1 ちこ WITH 1 こち WITH 1 ちで WITH 1 で紹 WITH 1 介さ WITH 1 され WITH 1 れて WITH 1 てい WITH 1 いる の検索結果 88 件中 1 - 10 件目 (0.102040156 秒)
あちこちで紹介されているので読んでみました。全て理解したわけではないですが、今までなんとなくもやもやだったkindについては結構スッキリしました。 型推論に関しては、Types and Programming Languagesがあちこちで薦められていますが理解できるんだろうか… ...
GHC 6.12でDeprecatedになるらしいImpredicative Polymorphismをどうやって書き換えるのか考えてみました。 例えばこんなの。 {-# LANGUAGE ImpredicativeTypes, Rank2Types #-} f :: Maybe (forall a. [a] -> a) -> (Int, Char) f (Just g) = (g [1, 2, 3], g ['a', 'b']) f Nothing = (99, 'z') のように定義 ...
# (スコア:4291)
また本が出るようです。目次をざっと見たところでは、The Craft of Functional Programmingと同じような雰囲気? ...
# (スコア:4106)
Rubyで関数プログラミングっぽく書くためのライブラリ。 ...
# (スコア:3631)
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 これ ...
# (スコア:3631)
モナドのすべてを読んでいるとしばしば出てくる、「複数パラメータの型クラスとfunDepという標準のHaskell 98にはない言語拡張をつかっています」の意味がようやくわかりました。 ...
# (スコア:3459)
初めて触れる人には、入門Haskellよりわかりやすいのではないかと。 関数型言語を全く知らない場合には、やはりHaskell: The Craft of Functional Programmingの方がお勧めかも。 ...
# (スコア:3243)
に行ってきました。 RSS/FOAFあたりの目立って流行ってきたところ以外にも徐々に実用化が進んできている模様です。RDF/OWLベースの推論規則とPrologなんかを組み合わせて色々できたら面白そうな気がするのですが。 ...
# (スコア:3172)
a -> m bの関数を合成するKleisli Compositionから入るArrowsのチュートリアル。身近な話題から入っているので、私にとっては他のArrowsの話よりも導入部分がわかりやすいです。まだ最後まで読んでいないので、理解したわけではないですけど。 HXTのArrows APIはなんとなく使えはするものの、ちゃんと理解してい ...
# (スコア:2594)
紹介されていたのでメモ。 IPA ISEC セキュア・プログラミング講座 Secure Programming for Linux and Unix HOWTO ...
# (スコア:2257)
# (スコア:10000)