最近的OCaml 3.12引入了一个一流打包模块的:
一种新的表达式,将模块打包为一个头等值:(module MODEXPR : PT)。一种新的模块表达式,将一个一流的值解压缩为一个模块:(val EXPR : PT)。PT是表单S或S with type t1 = ... and ... and type tn = ...的</em
to 说:
函数编程意味着程序被概念化为一个函数的评估,而不是一个控制流。代码是函数的描述,没有控制流的固有概念。我了解到,当一种语言支持一流的功能,没有控制的流程,从它的设计目标,它必须被定义为一种功能语言。那么,为什么函数语言Smalltalk不支持其他功能特性,比如不变性、代数数据类型、模式匹配、部分应用?