[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part22 (1001ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
508(2): 2013/03/23(土)12:42 AAS
>>507
map f xs はリストxsの各要素に対して関数fを適用した結果をリストとして返す
(map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn])
要素数0のリスト[]に対しては適用するリストの中身がないので[]を返す
map は f :: a -> b という関数 を 受け取って
g :: [a] -> [b] という関数を返す関数と考えるとよいかも
関数gの引数が[]のとき、返り値として最もふさわしい値は[]以外には考えにくいでしょう？
510(1): 2013/03/23(土)12:42 ID:qUSgaMZw!(2/3) AAS
>>508
なるほど。
[]に(3:)しても、[]に要素がないから[]を返される訳なのか。
ありがとうございます。
所で、だれかHaskell99 やってる人いないかな。62Bむずかしい。
516(1): 2013/03/23(土)12:42 AAS
lispだとcdr nil = nilなんだっけ
>508的な考えも一理ある
> g :: [a] -> [b] という関数を返す関数と考えるとよいかも
> 関数gの引数が[]のとき、返り値として最もふさわしい値は[]以外には考えにくいでしょう？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s