QuB：一種資源感知函數式程式設計語言

• 2019 年 12 月 29 日
• 筆記

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

摘要： 管理資源，如文件句柄、資料庫連接等——是一個難題。在不斷發展的生產程式碼中，難以調試由於資源管理不善而導致的資源泄漏和運行時錯誤。使用靜態類型系統的程式語言是確保在編譯時檢測到錯誤程式碼的絕佳工具。然而，現代靜態類型系統在資源管理方面做得很少，因為資源被視為正常值。我們提出了一個類型系統，Qub，它基於束縛邏輯（BI）將資源建模為頭等公民。我們區分了兩種程式對象：限制性和非限制性，以及兩種功能：共享和分離。我們的方法在不損害現有功能抽象的前提下保證了資源的正確性。

原文作者：Apoorv Ingle

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