今日はMLの型に関する講義。とくに目を引くのがReal型にはequal演算子が適用できないという点。これってどうなんだろう。確かに合理的なような気もするが、実際のプログラミングでは結構不便かも。確かに誤差はなくなるけれど。
あとは比較的オーソドックスかなぁ。
今日はMLの型に関する講義。とくに目を引くのがReal型にはequal演算子が適用できないという点。これってどうなんだろう。確かに合理的なような気もするが、実際のプログラミングでは結構不便かも。確かに誤差はなくなるけれど。
あとは比較的オーソドックスかなぁ。