The functional programming language ML has been undergoing a thorough redesign during the past year, and the module facility described here has been proposed as part of the revised language, now called Standard ML. The design has three main goals: (1) to facilitate the structuring of large ML programs; (2) to support separate compilation and generic library units; and (3) to employ new ideas in the semantics of data types to extend the power of ML's polymorphic type system. It is based on concepts inherent in the structure of ML, primarily the notions of a declaration, its type signature, and the environment that it denotes.
在过去的一年中,功能编程语言ML经过了彻底的重新设计,并且此处描述的模块功能已作为修订后的语言(现称为标准ML)的一部分提出。该设计具有三个主要目标:(1)促进大型ML程序的结构; (2)支持单独的编译单元和通用库单元; (3)在数据类型的语义中运用新思想来扩展ML的多态类型系统的功能。它基于ML结构中固有的概念,主要是声明的概念,其类型签名以及它所表示的环境。 P>
机译:标准模块和一级标准模块
机译:标准模块和一级标准模块
机译:我们真的需要计算机模块的另一个新标准吗?符合QSevena的“新标准”。
机译:多结薄膜光伏模块的标准表征:光谱失配对标准测试条件的校正和与室外测量的比较
机译:khovanov-lauda-roouquier代数的一些标准模块的一些延伸代数,包括A-Infinity结构
机译:构造函数:一个基于标准生物部分注册表中模块的优化克隆策略的Web应用程序
机译:标准模块和一级标准模块
机译:手册Nafi标准硬件程序(shp)。 Nafi标准模块和Nel标准外壳