隐式编程维基百科,自由的 encyclopedia 隐式(tacit)编程[1],或称为函数级编程,是一种编程范型,也叫做无点(point-free)样式。其中函数定义不标示所要操作的参数(或称“点”),转而函数定义只是其他函数的复合,比如那些操纵参数的组合子。隐式编程有着理论价值,因为严格的使用复合导致程序非常适配于方程式推理(英语:Equational logic)[2]。它也是特定编程语言的自然样式,包括APL的一些现代实现和方言[3],和串接式语言比如Forth。将参数缺席称为“point-free”导致了不必要的晦涩,故而有了别名为“pointless”[2]。
隐式(tacit)编程[1],或称为函数级编程,是一种编程范型,也叫做无点(point-free)样式。其中函数定义不标示所要操作的参数(或称“点”),转而函数定义只是其他函数的复合,比如那些操纵参数的组合子。隐式编程有着理论价值,因为严格的使用复合导致程序非常适配于方程式推理(英语:Equational logic)[2]。它也是特定编程语言的自然样式,包括APL的一些现代实现和方言[3],和串接式语言比如Forth。将参数缺席称为“point-free”导致了不必要的晦涩,故而有了别名为“pointless”[2]。