MLってSchemeにくらべて利点ってなに?
動的型宣言があるからデバッグがやりやすいとか?