[SIMILAR] WITH 2569 haskell WITH 1 [ WITH 1 ] WITH 1 ghc WITH 1 6 WITH 1 . WITH 1 4 WITH 1 2 の検索結果 114 件中 1 - 10 件目 (0.165926026 秒)
by Brent Yorgey <first initial last name at cis.upenn.edu> 標準Haskellライブラリには、代数や圏論に裏打ちされた数多くの型クラスが用意されています。流暢なHaskellハッカーになるためには、これら全てに根本的に慣れ親しんでいる必要がありますが、慣れ親しむためには、しばしば山ほどのチュートリアルや ...
Haskellにはバイナリを読み書きする時に使えるBitSyntaxというライブラリがあります。rubyで言うところのpackとかunpackに近いでしょうか。パースする時には返り値の型が引数に依存するので、その部分のコードはTemplate Haskellになっています。例えば、tzfile形式のファイルをパースするならこんな感じになり ...
# (スコア:10000)
GHC 6.6からは、 list :: [forall a. Num a => a] list = [1 :: Int, 1 :: Float, 1 :: Integer] のようにして多相型のリストをそのまま作ることができるようです。 ...
# (スコア:10000)
Haskell APIの検索ができます。関数名はもちろん型からも検索できるのが面白いです。 Ord a => [a] -> [a] と入れるとsortなどが出てきます。引数の順番が変わっていても認識するので、 [a] -> (a -> b) -> [b] でもmapが出てきます。 XML-RPCなどで呼び出せるようにして、エディタから引けるようにすると便利そ ...
# (スコア:10000)
Invalid Text次はSynonym Families。引数の型によって関連づけられた型を変えたいときに使います。C++でいうところの、特殊化されたテンプレートの中のtypedefとでも言えるでしょうか。 ありがちな例としては、コレクションクラスがあります。 class Collection a where type Elem a empty :: a add :: Elem a ...
# (スコア:10000)
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') のように定義 ...
# (スコア:10000)
ライブラリ側の対応も進んできたようなので、GHC 6.6を入れてみました。 Crypto FastCGI HDBC HDBC-ODBC HTTP NewBinary などは（一部fpsに依存している部分があったのでcabalファイルを修正しましたが）問題なく入りました。Streams-0.21は色々とパッチを当てる必要があります。0.1eはそのまま入るようです。 ...
# (スコア:10000)
{-# OPTIONS_GHC -fallow-overlapping-instances #-} import Network.NewCGI main :: IO () main = runCGI (handleErrors cgiMain) cgiMain :: CGI CGIResult cgiMain = do setHeader "Content-Type" "text/plain; charset=us-ascii" output "Hello, world!" ちなみに、NewCGIには以下のパッチを当てないとビル ...
# (スコア:10000)
Data.ByteString Data.Foldable Data.Sequence Data.Time Network.CGI Text.Regex Text.XHtml （おそらく他にも色々あるのでしょうが、）このあたりが目新しいところでしょうか。 ...
# (スコア:10000)
# (スコア:10000)