功能依赖的乐趣
或（草稿）类型作为静态计算中的值哈斯克尔

摘要

这个本文说明了Haskell的类型类系统如何用于表示计算。由于对类型的计算级别由类型检查器执行，这些计算是静态（即在编译时执行），并且由于类型系统是可决定的，它们总是终止。因此，Haskell提供了一种方法表示静态计算，并在静态和动态计算。

实例声明定义类型上的谓词，或者在这种情况下多参数类的类型之间的关系。具有功能依赖关系，多参数类直接指定函数，多亏了它们，您可以使用类型检查器计算函数应用程序的值，而不仅仅是检查应用程序的结果就是您所说的。

这种表示计算的方式给了我们一个小，具有模式匹配的一阶函数式编程语言和结构递归。我们可以很容易地定义布尔值，这些类型上的自然数、列表和函数。我们给一些完全静态计算的示例，最复杂的是插入排序的实现。我们还举例说明静态和动态计算是混合的。

全文

• 可作为PDF格式.（140KB）
• 可作为HTML格式.（24KB）
• 链接：引文（谷歌学者）