[SIMILAR] WITH 2569 haskell WITH 1367 スノ WITH 553 リリ WITH 453 ノー WITH 140 ース WITH 139 ート WITH 137 リー WITH 1 [ WITH 1 ] WITH 1 ghc WITH 1 6 WITH 1 . WITH 1 10 WITH 1 1 の検索結果 186 件中 1 - 10 件目 (0.223079529 秒)
Haskellでソースを実行時にコンパイルして、動的にロードするライブラリ。Haskellでevalができるらしいです。 ...
# (スコア:8552)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
# (スコア:8545)
Haskellにはバイナリを読み書きする時に使えるBitSyntaxというライブラリがあります。rubyで言うところのpackとかunpackに近いでしょうか。パースする時には返り値の型が引数に依存するので、その部分のコードはTemplate Haskellになっています。例えば、tzfile形式のファイルをパースするならこんな感じになり ...
# (スコア:8545)
GHC 6.6からは、 list :: [forall a. Num a => a] list = [1 :: Int, 1 :: Float, 1 :: Integer] のようにして多相型のリストをそのまま作ることができるようです。 ...
# (スコア:8545)
Haskell APIの検索ができます。関数名はもちろん型からも検索できるのが面白いです。 Ord a => [a] -> [a] と入れるとsortなどが出てきます。引数の順番が変わっていても認識するので、 [a] -> (a -> b) -> [b] でもmapが出てきます。 XML-RPCなどで呼び出せるようにして、エディタから引けるようにすると便利そ ...
# (スコア:8545)
Invalid Text次はSynonym Families。引数の型によって関連づけられた型を変えたいときに使います。C++でいうところの、特殊化されたテンプレートの中のtypedefとでも言えるでしょうか。 ありがちな例としては、コレクションクラスがあります。 class Collection a where type Elem a empty :: a add :: Elem a ...
# (スコア:8545)
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') のように定義 ...
# (スコア:8545)
# (スコア:10000)