Prelude には，const :: a -> b -> a という関数が定義されています．a -> b -> a という型は a -> (b -> a) のことなので，この関数を引数に適用すると，b -> a という型の関数になります．できあがった関数はどのような値 v :: b に適用しても，この関数を作るときに適用した引数を返します． ghci> :type const const :: a -> b -> a ghci> let k1 = const 1 ghci> k1 "Hoge" 1 ghci> k1 False 1 ghci> k1 undefined 1 ghci> let kHuga = const "Huga" ghci> kHuga "Hoge" "Huga" ghci> kHuga 2 "Huga" ghci> kHuga undefined "Huga"さて「
Prelude に const という関数がある。型は const :: a -> b -> a 簡単に言うと、引数を2つとって1つ目の引数をそのまま返す関数。 Prelude> const 1 2 1これと id を組み合わせてみると、引数を2つとって2つ目をそのまま返すようになる。 const id :: a -> b -> b Prelude> const id 1 2 2これは const id x = id となるから。 このように const に関数を与えると便利に使える場合がある。例えば myLast = foldr1 (const id) でリストの最後の要素を求めることができたり myLength = foldr (const (+1)) 0 でリストの長さが求められる。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
