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

shelarcy（しぇらーしぃ） @shelarcy

「あなたの求めている可変長引数は、（単相型の） variadic のことですか、それとも polyvariadic のことですか？」

shelarcy（しぇらーしぃ） @shelarcy

@shanonnstream 正確には Haskell で可変長引数を実現する方法としては「Text.Printf のように型クラスを使う方法」が有名だけど、型クラスを利用した可変長引数は（Text.Printf のように）型安全でない可能性があるのでお勧めできないですね。

shelarcy（しぇらーしぃ） @shelarcy

@shanonnstream 型クラス以外での可変長引数のやり方については、手前味噌ですがこのスライドにまとめてあります。 http://freett.com/shelarcy/log/2008/diary_12.html#language_talks

shelarcy（しぇらーしぃ） @shelarcy

@shanonnstream スライド中に説明のないリストを使った可変長引数のやり方については、やはり手前味噌ですが連載のこの辺に書いてあります。 http://itpro.nikkeibp.co.jp/article/COLUMN/20071204/288630/

shelarcy（しぇらーしぃ） @shelarcy

@shanonnstream このリストを使ったやり方は、Monoid クラスのインスタンスとなる型に一般化できますよね。それが前に話題になった polyToMonoid [http://bit.ly/dfqdK9 ] の話です。 http://bit.ly/ajqmvF

茶蔦 @tyatsuta

HaskellでDSL設計するとき、デフォルト引数の概念はどうやって実装したらいいのだろう。関数の引数は固定長だから無理？

shelarcy（しぇらーしぃ） @shelarcy

@tyatsuta 関数の引数を Foo a b = Foo {bar:: a, baz ::b } という型にまとめておいて、Foo のデフォルト値を defaultFoo として用意しておけば、フィールドの更新を使うことで任意の引数だけを書き換えて関数に渡すことができますね。

shelarcy（しぇらーしぃ） @shelarcy

@tyatsuta 一引数なら、turnWithDirection のように Direction 型を必要とする関数と、turn val = turnWithDirection val Right のように Direction 型を必要しない関数を作って使い分けるのが普通ですね

shelarcy（しぇらーしぃ） @shelarcy

@mr_konn どんなことがやりたいのかわかりませんが、可変長引数を実現したいならもう一つ、「名前付きフィールドを持つデータ型を作って、フィールド更新で必要なだけパラメータを書き換える（つまり、フィールド更新をキーワード引数のように扱う）」という方法もありますよ。

shelarcy（しぇらーしぃ） @shelarcy

@mr_konn これはCabalのDistribution.Simpleの UserHook [http://j.mp/fsplP] やSystem.Processの createProcess [http://j.mp/10ZvuG] などでも使われている割と定番の方法です。

shelarcy（しぇらーしぃ） @shelarcy

@keigoi あっ、そういえばフィールドラベルを持つデータ型を使い、「デフォルト値として用意した変数（defaultConfig とか）に対するフィールドの更新」を、オプション引数として利用するテクニックってあまり使いませんか？

shelarcy（しぇらーしぃ） @shelarcy

@keigoi Cabal で使っているのを見て、真似して使っている人はそれなりにいると思うのですが……例えば criterion も、フィールドラベルを使ったフィールドの更新をオプション引数として活用する形になってますね。 http://bit.ly/fC7G0w

Hideyuki Tanaka @tanakh

ZipListはMonadにできないんで、使い道がわからん。MonadじゃないApplivativeなんて、価値半減な気がする。

shelarcy（しぇらーしぃ） @shelarcy

@tanakh ドキュメントに書いてある通り、Applicative の論文に例として出てくる zipWithN 関数を作るためのものですよ。 http://j.mp/nXPlKT

shelarcy（しぇらーしぃ） @shelarcy

@tanakh ghci> let xs = ZipList [1..10] ghci> getZipList $ (,) <$> xs <*> xs ghci> getZipList $ (,,) <$> xs <*> xs <*> xs

Hackage @Hackage

polyToMonoid 0.1, added by KevinJardine: Polyvariadic functions mapping to a given monoid http://bit.ly/avXKtS