解决了将函数式编程的优点与命令式编程的优点相结合的问题。 同时使用标准ML和扩展ML语言进行实施。