Editing 関数 (section)

===<hask>map</hask> の例===
ファーストクラス関数の威力を見られる例として、"map"関数を考えてみましょう。
''map'': 
<haskell>
map :: (a -> b) -> [a] -> [b]
map f xs = [f x | x <- xs]
</haskell>

（これは[[Higher order function]]であることを覚えていてください）
この関数は２つの引数をとります："f"という"a"から"b"へ写像する関数と、"a"のリスト"xs"です。返り値は"b"のリストで、これは"xs"の中のすべての要素に"f"を適用した結果のリストになります。したがって、<hask>map square [1,1,2,3,5,8]</hask>は<hask>[1,1,4,9,25,64]</hask>というリストを返します。"map"が返した”ｂ”のリストが関数のリストにもなりえると気づくと、だんだん面白くなってきます。

あるデータ構造（たとえば"Set"）があったとして、関数<hask>insert :: Int -> Set -> Set</hask>があったとします。この関数は整数と集合を引数にとり、引数に与えた整数を引数に与えた集合に挿入してできた新しい集合を返します。そして、"mySet"と"myList"があるとして、それぞれ集合の中に集合やリストがあります。整数のリストを再帰的に要素１つづつ"myList"に挿入するような関数も書けますが、ファーストクラス関数を使えばもっと簡単に書けます。<hask>map insert myList</hask>という式を見てください。--この式が生成するリストの型はなんでしょうか？"insert"は"Int"と"Set"を引数にとりますが、"Int"しか与えられていませんので、結果のリストは集合を引数にとって、集合を返す関数のリストになっています。イメージとしては、コード<hask>map insert [1,2,3]</hask>はリスト<hask>[(insert 1) (insert 2) (insert3)]</hask>を返します。