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件
1
ベストアンサー
まず本家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
総合スコア13475
あなたの回答
tips
プレビュー
下記のような回答は推奨されていません。
このような回答には修正を依頼しましょう。
また依頼した内容が修正された場合は、修正依頼を取り消すようにしましょう。