Q&A
プログラミングhaskell第2版の問題で、unfoldを用いてinterateを再定義せよという問題があるのですが、ネット上のコード(2通り見つかりました)を見ても理解できません。特に二つ目の解答にあるid について教えていただきたいです。
Haskell
1interate f = unfold (\x -> False) f f 2 3interate f = unfold (\x -> False) id f __なぜid？__ 4 5
回答1件
0
ベストアンサー
まず本家iterateと同じ実行結果になるのはid利用の方です。
unfoldの第一引数はリスト生成をやめる条件です。
iterateは無限にリストを生成する関数ですので、何を受け取っても常にFalseを返すようにしています。
なので |otherwise = h x : unfold p h t (t x)だけ見てればいいことになります。
問題の第二引数はリストの要素を生成する関数です。
受け取ったものをそのまま返すのでid関数を置いています。
第三引数は再帰unfold p h t (t x) に渡すための関数ですね。そのまんまfです
再帰を書き下すとunfold p h t xは
[h x, h(t x), h(t (t x)), ...]というリストを作るもので
iterate f xは
[x, f x, f(f x), ...]というリストを作るものなので、
見比べればなぜh = idかがわかるかと。
投稿2021/08/25 07:52
編集2021/08/25 08:09
総合スコア13521
あなたの回答
tips
プレビュー
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。