Hatena::ブログ(Diary)

消化不良

2009-11-12 そろそろやる気を出さないと・・・。

elemについて 01:50

elem関数 - 結城浩のHaskell日記 - haskell

によると、anyを使って書けるらしい。つまり、昨日のは、こうなります。

duplicate (x:xs) = any (x==) xs || duplicate xs
duplicate _ = False

any f xsで、f(x)を満たすx∈xsが存在すればTrueを返す。記号論理で出てくる∃と同じですかね。anyは高階関数の一つらしいです。

nobsunnobsun 2009/11/13 22:01 \ x -> (==x) と (==) はおなじですね。

henkohenko 2009/11/14 01:26 なるほど。1引数関数を返す1引数関数と、2引数関数って、確かに同じような意味かも。
と、ここまで書いて、これってつまりカリー化f(x, y) = f(y)(x)のことだと気づきました。
勉強になります。

トラックバック - http://d.hatena.ne.jp/henko/20091112/1258044643