質問編集履歴
3
微修正
title
CHANGED
|
File without changes
|
body
CHANGED
|
@@ -5,6 +5,6 @@
|
|
|
5
5
|
length :: [a] -> Int
|
|
6
6
|
```
|
|
7
7
|
|
|
8
|
-
`Foldable`型クラスのデフォルトの型?は`[]`である事が分かりますが、
|
|
8
|
+
`Foldable`型クラスのデフォルトの型?は`[]`である事が分かりますが、型クラスのデフォルトの型?の設定・変更を自前ですることは出来ますか？
|
|
9
9
|
|
|
10
10
|
また、型推論の事はよく分かってないのですが、これはこのデフォルトの型?に多少依存している気がするのですが、その辺はどうなっているのでしょうか。
|
2
微修正
title
CHANGED
|
File without changes
|
body
CHANGED
|
@@ -5,6 +5,6 @@
|
|
|
5
5
|
length :: [a] -> Int
|
|
6
6
|
```
|
|
7
7
|
|
|
8
|
-
`Foldable`型クラスのデフォルトの型?は`[]`である事が分かりますが、自作型クラスのデフォルトの型?を設定することは出来ますか？
|
|
8
|
+
`Foldable`型クラスのデフォルトの型?は`[]`である事が分かりますが、自作型クラスのデフォルトの型?を設定・変更することは出来ますか？
|
|
9
9
|
|
|
10
10
|
また、型推論の事はよく分かってないのですが、これはこのデフォルトの型?に多少依存している気がするのですが、その辺はどうなっているのでしょうか。
|
1
タイトルの修正
title
CHANGED
|
@@ -1,1 +1,1 @@
|
|
|
1
|
-
haskell
|
|
1
|
+
haskell 型クラスのデフォルト型
|
body
CHANGED
|
File without changes
|