15/12/19 03:30:45.67 OdWxPmQd.net
>>228
最後まで書き込んでたら勝ちってゲームしてるつもりかな？
もうちょっと中身のある事を書こうね。
関数型言語の型推論だと、複数の場所で矛盾する型を書いたら即座にエラーになるから間違いを早く発見できるし（>>217は型を書く段階まで発見できない）、
間違っていたときも型推論の出力を見ながら修正できる。
たしか、早くより少ない労力でエラーを発見できる方が優れてるんだよな？
15/12/19 03:30:45.67 OdWxPmQd.net
>>228
最後まで書き込んでたら勝ちってゲームしてるつもりかな？
もうちょっと中身のある事を書こうね。
関数型言語の型推論だと、複数の場所で矛盾する型を書いたら即座にエラーになるから間違いを早く発見できるし（>>217は型を書く段階まで発見できない）、
間違っていたときも型推論の出力を見ながら修正できる。
たしか、早くより少ない労力でエラーを発見できる方が優れてるんだよな？