09/09/09 14:42:46
189です。
型解決じゃなくて型推論でした。失礼。
>>190
中間言語にコンパイルする時点で型推論するのかな？
それなら型エラーを含んだコードは評価前に死んでくれて
評価途中に死ぬ確率が減るメリットがありそうだけど、
ラクになるのはevaluatorだなあ…
09/09/09 14:42:46
189です。
型解決じゃなくて型推論でした。失礼。
>>190
中間言語にコンパイルする時点で型推論するのかな？
それなら型エラーを含んだコードは評価前に死んでくれて
評価途中に死ぬ確率が減るメリットがありそうだけど、
ラクになるのはevaluatorだなあ…