QuB：一种资源感知函数式程序设计语言

• 2019 年 12 月 29 日
• 笔记

原文题目: QuB: A Resource Aware Functional Programming Language

摘要： 管理资源，如文件句柄、数据库连接等——是一个难题。在不断发展的生产代码中，难以调试由于资源管理不善而导致的资源泄漏和运行时错误。使用静态类型系统的编程语言是确保在编译时检测到错误代码的绝佳工具。然而，现代静态类型系统在资源管理方面做得很少，因为资源被视为正常值。我们提出了一个类型系统，Qub，它基于束缚逻辑（BI）将资源建模为头等公民。我们区分了两种程序对象：限制性和非限制性，以及两种功能：共享和分离。我们的方法在不损害现有功能抽象的前提下保证了资源的正确性。

原文作者：Apoorv Ingle

原文地址：https://arxiv.org/list/cs.PL/recent