回答編集履歴
2
句読点編集
test
CHANGED
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
|
|
3
3
|
|
|
4
4
|
|
|
5
|
-
`(/)` の型は `a -> a -> a` です
|
|
5
|
+
`(/)` の型は `a -> a -> a` です（[ドキュメント](http://hackage.haskell.org/package/base-4.12.0.0/docs/Prelude.html#v:-47-)）。なので `a :: Int` と `b :: Int` であることと合わせて考えると、`a / b` の型が `Int` であると導き出されます。これが actual type です。
|
|
6
6
|
|
|
7
7
|
|
|
8
8
|
|
1
段落編集
test
CHANGED
|
@@ -2,11 +2,7 @@
|
|
|
2
2
|
|
|
3
3
|
|
|
4
4
|
|
|
5
|
-
`(/)` の型は `a -> a -> a` です。（[ドキュメント](http://hackage.haskell.org/package/base-4.12.0.0/docs/Prelude.html#v:-47-)）
|
|
6
|
-
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
なので `a :: Int` と `b :: Int` であることと合わせて考えると、`a / b` の型が `Int` であると導き出されます。これが actual type です。
|
|
5
|
+
`(/)` の型は `a -> a -> a` です。（[ドキュメント](http://hackage.haskell.org/package/base-4.12.0.0/docs/Prelude.html#v:-47-)）なので `a :: Int` と `b :: Int` であることと合わせて考えると、`a / b` の型が `Int` であると導き出されます。これが actual type です。
|
|
10
6
|
|
|
11
7
|
|
|
12
8
|
|