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