回答編集履歴
1
段落の切り方や接続詞を修正
test
CHANGED
|
@@ -3,8 +3,6 @@
|
|
|
3
3
|
|
|
4
4
|
|
|
5
5
|
`((->) r)`は`(+ 3)`のように、関数型を表す演算子`->`の左辺（第1型引数）に`r`という型変数を適用したものを表しています。
|
|
6
|
-
|
|
7
|
-
|
|
8
6
|
|
|
9
7
|
`->`の左辺は関数の引数の型を表していて、もう一つの引数である右辺は関数の戻り値の型を表しているのでした。
|
|
10
8
|
|
|
@@ -12,7 +10,7 @@
|
|
|
12
10
|
|
|
13
11
|
|
|
14
12
|
|
|
15
|
-
|
|
13
|
+
従って、`((->) r)`は「`->`に対して、引数の型`r`のみを適用した型」であり、それを`Monad`や`Functor`における`m`や`f`として扱うと、`m a`は`((->) r a)`、すなわち「`r`を受け取って`a`を返す関数」と置き換えられることになります。
|
|
16
14
|
|
|
17
15
|
つまり`a`はやっぱり「戻り値の型」なんですね。
|
|
18
16
|
|