逻辑程序设计的隐式参数

审核人：Prahladavaradan Sampath公司

编程的艺术在于构建简洁、优雅、高效的程序，最重要的是，这些程序能够被他人阅读和理解。软件工程师使用许多工具使代码可读，例如，设计良好的类型、表达性名称和体系结构原则，如DRY和SOLID。这些工具反过来又受到语言功能（如强类型系统）的支持，以及编程语言和集成开发环境（IDE）中的功能（如代码导航、类型自动推断、代码的在线静态分析等）的支持。本文阐述了这样一个微观特征：简化函数和过程的参数列表。在大多数现代编程语言中，函数（或更一般的关系）和过程是最小的构造单位。任何从业者都会熟悉如何最大限度地重用过程的算法部分，同时最小化过程的接口（或参数）这一难题。语言功能（如层次化名称范围和继承）为语言设计的这一方面提供了不同的设计点。隐式参数是一种直接解决参数列表问题的语言功能。在许多实际情况下，传递给过程的参数与调用过程的上下文之间有很强的相关性。隐式参数旨在自动检测程序结构中的这些相关性，并自动将参数推理到过程调用。例如，当调用过程时，在过程调用的上下文中通常只有一个特定类型的变量可见，当程序使用DRY和SOLID等原理进行了良好的结构化时，情况尤其如此。本文讨论了在控制和信息流的概念是隐含的逻辑编程语言上下文中，将参数推断为谓词的问题。作者提供了在逻辑程序上下文中推断参数问题的简单形式化，以及一个非常有吸引力的解决方案，该解决方案涉及一些推理规则，作为编译器/解释器中的预处理步骤应该很容易实现。它们还形式化了一组用于评估隐式参数方案的属性：类型安全性、一致性、确定性和可预测性，并表明其公式具有这些属性。将本文提供的形式化与其他语言中的隐式参数方案进行比较是很有意思的——C++中的默认参数、Scala中的隐含参数以及OCaml中的命名参数和默认参数都属于这一类。一个更雄心勃勃的努力是深入探索Haskell中类型类与C++中名称解析的关系；这些语言特性在实践中得到了验证，为大规模编程提供了基础设施，而本文可以为将这些特性导入逻辑编程语言提供方法基础。