应用程序编程和规范Applicative Programming and Specification
解决了将函数式编程的优点与命令式编程的优点相结合的问题。 同时使用标准ML和扩展ML语言进行实施。
下载地址
用户评论