回答編集履歴

1

型推論のアルゴリズムについてちょっと興味を持つように言及

2021/08/11 10:54

投稿

igrep
igrep

スコア433

test CHANGED
@@ -14,4 +14,4 @@
14
14
 
15
15
 
16
16
 
17
- 「この部分!」で`^`を引いた箇所を先にみて型変数を割り当てているからではないでしょうか?
17
+ 「この部分!」で`^`を引いた箇所を先にみて型変数を割り当てているからではないでしょうか?型推論のアルゴリズムはよく知られているので、調べてみるとさらにそんな気がしてきます。