ICFP公司

代数效果处理程序是描述有效计算的强大手段。它们提供了一种轻量级的正交技术来定义和组合不同效果的语法和语义。语义由处理程序捕获，处理程序。。。

Monad现在是函数编程中用于抽象和限定效果的日常工具。单体和效果系统之间的联系是众所周知的，但在它们的典型使用中，单体提供了更粗粒度的效果视图。效果。。。

我们报告了我们在两个冬季学期向1100多名学生教授基于Haskell的函数式编程课程的经验。教学大纲是围绕不同来源的精选材料组织的。在整个术语中，我们强调了正确性。。。

科学程序中的许多错误都源于对物理维度的错误处理，即数量演算中的错误表达式。现在格拉斯哥哈斯克尔编译器中的类型系统已经足够丰富，可以支持类型级整数了。。。

哈斯克尔有许多令人愉快的特点。也许用户最喜欢的是它的类型系统，它允许开发人员在编译时指定和验证各种程序属性。然而，许多属性，通常取决于。。。

QuickCheck是用于自动生成测试用例的强大库。因为QuickCheck执行随机测试，所以发现的一些反例非常大。QuickCheck为用户提供了一个界面，可以编写收缩函数来尝试。。。

函数计算的无状态性有助于并行性和故障恢复。故障和非均匀通信拓扑是新兴大规模并行体系结构面临的关键挑战。我们报道血红蛋白和HdpH-RS型，一双。。。

大多数强类型函数式编程语言都没有配备可重入垃圾收集器。因此，在最需要类型优点的操作系统编程中，不使用此类语言。我们建议使用。。。

我们提出了一种新的web应用程序编程模型，它是（1）无缝的；一个程序和一种语言用于为客户端和服务器生成代码，（2）以客户端为中心；程序员采用在…上运行代码的客户端的观点。。。

Simple是Haskell的web框架。Simple来自我们在Hails上的工作，Hails是一个用于安全web应用程序的平台。对于Hails，我们需要一个灵活的web框架，它不使用不安全的语言功能，并且可以用于构建IO monad之外的应用程序。。。

LIO是一个分散的信息流控制（DIFC）系统，在Haskell中实现。在这个演示方案中，我们概述了LIO库，并展示了如何使用LIO构建安全系统。特别是，我们展示了如何指定高级。。。

在格拉斯哥哈斯克尔编译器（GHC）中实现的哈斯克尔（Haskell）包含了许多支持类型级编程的扩展，例如提升的数据类型、种类多态性和类型族。然而，类型级语言的表现力。。。

正如最初提出的那样，类型类提供了重载和特殊定义，但仍然可以严格按照参数计算来理解（和实现）。对于类型类的后续扩展，情况并非如此。功能依赖性和。。。

包括Haskell和Python在内的几种流行语言将代码的缩进和布局作为其语法的重要组成部分。在过去，这些语言的实现使用特别的实现布局的技术。最近的工作表明。。。

当左关联时，许多单体的一系列列表附加或单体绑定的算法性能较差。众所周知，连续传递方式（CPS）可以解决这种严重依赖关联模式的性能问题。CPS的优点。。。