2009-11-12 そろそろやる気を出さないと･･･。
■elemについて
elem関数 - 結城浩のHaskell日記 - haskell
によると、anyを使って書けるらしい。つまり、昨日のは、こうなります。
duplicate (x:xs) = any (x==) xs || duplicate xs duplicate _ = False
any f xsで、f(x)を満たすx∈xsが存在すればTrueを返す。記号論理で出てくる∃と同じですかね。anyは高階関数の一つらしいです。
トラックバック - http://d.hatena.ne.jp/henko/20091112/1258044643
リンク元
- 26 http://k.hatena.ne.jp/keywordblog/Haskell
- 7 http://d.hatena.ne.jp/
- 7 http://haskell.g.hatena.ne.jp/hyuki/
- 6 http://d.hatena.ne.jp/keyword/SICP
- 5 http://d.hatena.ne.jp/keyword/Haskell
- 3 http://haskell.g.hatena.ne.jp/hyuki/20060613/ghc
- 2 http://haskell.g.hatena.ne.jp/hyuki/20060604/elem
- 2 http://haskell.g.hatena.ne.jp/hyuki/20060604/flip
- 2 http://haskell.g.hatena.ne.jp/hyuki/20060604/foldr
- 2 http://haskell.g.hatena.ne.jp/hyuki/20060604/span
と、ここまで書いて、これってつまりカリー化f(x, y) = f(y)(x)のことだと気づきました。
勉強になります。