功能依赖的乐趣
或(草稿)类型作为静态计算中的值哈斯克尔
在CS/CE冬季联合会议记录会议2001年1月,瑞典瓦尔堡。摘要
这个本文说明了Haskell的类型类系统如何用于表示计算。由于对类型的计算级别由类型检查器执行,这些计算是静态(即在编译时执行),并且由于类型系统是可决定的,它们总是终止。因此,Haskell提供了一种方法表示静态计算,并在静态和动态计算。
实例声明定义类型上的谓词,或者在这种情况下多参数类的类型之间的关系。具有功能依赖关系,多参数类直接指定函数,多亏了它们,您可以使用类型检查器计算函数应用程序的值,而不仅仅是检查应用程序的结果就是您所说的。
这种表示计算的方式给了我们一个小,具有模式匹配的一阶函数式编程语言和结构递归。我们可以很容易地定义布尔值,这些类型上的自然数、列表和函数。我们给一些完全静态计算的示例,最复杂的是插入排序的实现。我们还举例说明静态和动态计算是混合的。
全文
托马斯·哈格伦
上次修改时间:2022年12月29日星期四18:50:43 CET