氧化物：生锈的本质

下载PDF摘要：防锈索赔通过桥接级别系统编程和高级应用程序编程的差距来推进工业编程。在ATHEART的论点中，这使程序员能够构建更可靠的且效率的软件是借用检查员 - 一种新的所有权的方法，以便使用可用性来平衡系统表达性。然而，目前迄今为止没有核心类型系统，捕获生锈和借用的概念，因此没有对生锈进行研究的基础。在这项工作中，我们开始捕获这种所有权型号的本质，并开发生锈＆＃39; s借款检查的类型系统帐户。我们呈现氧化物，无表的编程语言，靠近源级生锈（但有用的注释类型）。此演示文稿采用了一生的新视图，作为参考文化的植物的佼佼者，我们的类型系统能够通过子结构键入判断来计算这些信息。我们提供了借用借用的第一个句法证明，用于借用Proberger和保存。氧化物是借用借用的简单配方，检查 - 抑制最近的诸如非词汇寿命的特征 - 我们希望搜索商将能够作为锈蚀的工作基础。

来自：Aaron Weiss [查看电子邮件] [V1] Sun，2019年3月3日20:22:37 UTC（100 KB）[V2]星期四，2012年8月13日21:22:04 UTC（1,448 KB）[V3] Tue，18 8月20日00:04:32 UTC（1,448 KB）

书目工具代码＆amp;关于Arxivlabs Arxivlabs的数据相关论文是一个框架，允许合作者在我们的网站上直接开发和分享新的Arxiv功能。

与Arxivlabs合作的个人和组织都接受并接受了我们的开放，社区，卓越和用户数据隐私价值观。 Arxiv致力于这些价值观，只与遵守它们的合作伙伴合作。

有一个项目，将增加Arxiv＆＃39;社区的价值？了解有关Arxivlabs以及如何参与的更多信息。