Haskell で可変長引数を扱う方法

一口に可変長引数と言っても色々あります。限られた範囲でのオプション引数が欲しいこともありますし、多相的な本物の可変長引数が欲しいこともあります。また、可変長引数を型安全に使いたいのか、型安全性を無視してでも使いたいのか、という話もあります。このようにどういうことをしたいかによって、可変長引数を実現するために採用するべき手段は異なってきます。ここにある程度情報をまとめておきましたので、是非参考にしてみてください。
20
shelarcy(しぇらーしぃ) @shelarcy

PolyKindsでTypeable*クラスを一つにまとめられることを例として示しているということは、7.6.1には種多相なTypeableクラスが入ってくる [http://t.co/E1ymGcEj ] ことを期待しても良いのかしら。 http://t.co/x7bYYz0T

2011-11-26 02:36:58
shelarcy(しぇらーしぃ) @shelarcy

GHC 7.4.1 「種多相で *1..*n という雑多な型クラスを一つにまとめたいと聞いて」 http://t.co/QRMAGhVp (ガタッ QT @melponn: Haskellの型クラスはゴチャゴチャしすぎててあまり好きになれない

2011-11-28 00:09:21