回答編集履歴
1
型推論のアルゴリズムについてちょっと興味を持つように言及
test
CHANGED
|
@@ -14,4 +14,4 @@
|
|
|
14
14
|
|
|
15
15
|
|
|
16
16
|
|
|
17
|
-
「この部分！」で`^`を引いた箇所を先にみて型変数を割り当てているからではないでしょうか？
|
|
17
|
+
「この部分！」で`^`を引いた箇所を先にみて型変数を割り当てているからではないでしょうか？型推論のアルゴリズムはよく知られているので、調べてみるとさらにそんな気がしてきます。
|