回答編集履歴
3
修正
test
CHANGED
|
@@ -28,7 +28,7 @@
|
|
|
28
28
|
|
|
29
29
|
再帰を書き下すと`unfold p h t x`は
|
|
30
30
|
|
|
31
|
-
`[h x, h(t x), h(t x), ...]`というリストを作るもので
|
|
31
|
+
`[h x, h(t x), h(t (t x)), ...]`というリストを作るもので
|
|
32
32
|
|
|
33
33
|
|
|
34
34
|
|
2
修正
test
CHANGED
|
@@ -28,7 +28,7 @@
|
|
|
28
28
|
|
|
29
29
|
再帰を書き下すと`unfold p h t x`は
|
|
30
30
|
|
|
31
|
-
`[h x, h(t x), h(
|
|
31
|
+
`[h x, h(t x), h(t x), ...]`というリストを作るもので
|
|
32
32
|
|
|
33
33
|
|
|
34
34
|
|
1
追記
test
CHANGED
|
@@ -17,3 +17,23 @@
|
|
|
17
17
|
|
|
18
18
|
|
|
19
19
|
第三引数は再帰`unfold p h t (t x)` に渡すための関数ですね。そのまんま`f`です
|
|
20
|
+
|
|
21
|
+
|
|
22
|
+
|
|
23
|
+
|
|
24
|
+
|
|
25
|
+
---
|
|
26
|
+
|
|
27
|
+
|
|
28
|
+
|
|
29
|
+
再帰を書き下すと`unfold p h t x`は
|
|
30
|
+
|
|
31
|
+
`[h x, h(t x), h(h(t x)), ...]`というリストを作るもので
|
|
32
|
+
|
|
33
|
+
|
|
34
|
+
|
|
35
|
+
`iterate f x`は
|
|
36
|
+
|
|
37
|
+
`[x, f x, f(f x), ...]`というリストを作るものなので、
|
|
38
|
+
|
|
39
|
+
見比べればなぜ`h = id`かがわかるかと。
|