Haskellの功績は、命令型には数学的根拠がないとかいう俗説を反証したこと