回答編集履歴
2
typo修正
test
CHANGED
|
@@ -22,6 +22,6 @@
|
|
|
22
22
|
|
|
23
23
|
|
|
24
24
|
|
|
25
|
-
`f $ g x` についても、
|
|
25
|
+
`f $ g x` についても、ご認識の通りです。
|
|
26
26
|
|
|
27
27
|
一般によくある書き換えイディオムとして覚えておくといいと思います。
|
1
`f $ g x` について補足。typo修正
test
CHANGED
|
@@ -2,13 +2,13 @@
|
|
|
2
2
|
|
|
3
3
|
|
|
4
4
|
|
|
5
|
-
`(.g) f
|
|
5
|
+
`(.g) f x` にカッコを補うと `((.g) f) x` となります。
|
|
6
6
|
|
|
7
7
|
|
|
8
8
|
|
|
9
9
|
で、ご存じのとおり `(.g) f` は `f.g` と等価なので、
|
|
10
10
|
|
|
11
|
-
`((.g) f)
|
|
11
|
+
`((.g) f) x` は結果 `((f.g) x)` と等価になります。
|
|
12
12
|
|
|
13
13
|
|
|
14
14
|
|
|
@@ -18,4 +18,10 @@
|
|
|
18
18
|
|
|
19
19
|
`(f.) g` は `(f.g)` と等価なので、
|
|
20
20
|
|
|
21
|
-
`((f.) g) x` は `((f.g)
|
|
21
|
+
`((f.) g) x` は `((f.g) x)` と等価になります。
|
|
22
|
+
|
|
23
|
+
|
|
24
|
+
|
|
25
|
+
`f $ g x` についても、誤認識の通りです。
|
|
26
|
+
|
|
27
|
+
一般によくある書き換えイディオムとして覚えておくといいと思います。
|