使用约束处理规则为Q功能语言提供静态类型分析
摘要：Prolog的应用之一：用于Q函数语言的类型检查工具的描述 一种紧凑的向量处理语言Q的类型检查工具的应用。Q是APL的后代，越来越受欢迎，特别是在金融应用中。Q是一种动态类型语言，类似于Prolog。通过静态类型扩展Q，可以提高程序的可读性和程序员的生产力，因为类型错误是在编译时由工具发现的，而不是通过调试程序执行来发现。 类型检查器使用由Prolog约束处理规则处理的约束。在分析过程中，我们确定每个程序表达式的可能类型值，并检测不一致性。由于Q的大多数内置函数名称都是重载的，即它们的含义取决于参数类型，因此需要实现一个相当复杂的约束系统。
作者：J''anos Csorba, Zsolt Zombori and P''eter Szeredi
论文ID：1112.3784
分类：Programming Languages
分类简称：cs.PL
提交时间：2011-12-19