動的型付け言語はオワコン　時代遅れ

1 ：以下、？ちゃんねるからVIPがお送りします：2021/01/05(火) 18:01:50.524 ID:djXQyAvk0.net

Hindley-Milner的な型推論>>>ローカルな型推論>>>(超えられない壁)>>>型推論無しの静的型付け>>>(ゴミの壁)>>>どうてきかたつけ（笑）（実際は動的検査）

2 ：以下、？ちゃんねるからVIPがお送りします：2021/01/05(火) 18:02:08.788 ID:djXQyAvk0.net

なんか残ってたので2度目だけど立てたわ

3 ：以下、？ちゃんねるからVIPがお送りします：2021/01/05(火) 18:04:22.313 ID:qGaaMSyU0.net

Hindley-Milnerとかいうやつはプログラミング言語で言うと具体的にどれ？

4 ：以下、？ちゃんねるからVIPがお送りします：2021/01/05(火) 18:05:40.494 ID:djXQyAvk0.net

>>3
静的型付けな関数型言語は大抵Hindley-Milner

5 ：以下、？ちゃんねるからVIPがお送りします：2021/01/05(火) 18:05:48.502 ID:Md6rngU80.net

オワコンって言葉もそろそろ死語に近い

6 ：以下、？ちゃんねるからVIPがお送りします：2021/01/05(火) 18:06:04.125 ID:rJ+KnkZu0.net

なんか発達障害アスペが立てたスレってぽいな