型推論器実装に挫折した人の話

型推論とは

プログラミング言語の機能の1つで、静的な型付けを持つ言語において、変数や関数の型を宣言しなくてもそれを導くのに使われた関数の型シグネチャなどから自動的に型を決定する機構のこと (Wikipedia より) まあわかりやすく言えば varとかvalとかいうやつだよね

型推論器の実装の話

型推論器　実装あたりで検索してみる 難しくてあんまり理解がっ...... まあなんとなく理解したのでやってみるかってやって見たんだけどすぐさま頓挫... とりあえず人が実装したのを参考にするかって思って見てみるが..... 本当に条件限定的なものしか実装にたどり着けなかった また論文書き終わったらリトライしたい