标准ML是一种通用的、模块化的函数式编程语言，具有编译时类型检查和类型推理功能。是波普...，
Standard ML is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. (2020-12-31, Standard ML, 0KB, 下载0次)