SHF :Small: Foundations of Permission-Based Object-Oriented Languages

这个研究项目正在探索一种基于新的编程语言Plaid编写计算机程序的新方法。 Plaid是第一个将“权限”原生地整合到语言中的编程语言。 这些权限允许编程语言更准确地对变化的事物进行建模-例如，可能中断然后稍后重新连接的网站连接。 这种基于权限的语言可以帮助工程师在软件项目中进行协调，提高工程师的工作效率，减少用户看到的错误。在技术层面上，该项目通过一种基于线性逻辑的新型类型系统将“唯一”、“不可变”和“共享”等权限集成到语言中。 这些权限表达了别名信息，而这些别名信息可以用来做很多事情，包括在运行时安全地更改对象的表示和自动并行化代码。 该项目正在设计一个单一的权限系统，可以解决多个这样的问题;调查继承，组合，子类型，强制转换和多态性的模型必须如何适应许可证;以及什么样的设计选择可以最好地使这样一种语言用于编写具有显著规模和设计复杂性的程序。

This research project is exploring a new way of writing computerprograms, based on a new programming language Plaid. Plaid is the firstprogramming language to incorporate "permissions" natively into thelanguage. These permissions allow the programming language to moreaccurately model things that change--for example, a connection to a website that might be interrupted and then later reconnected. Such apermission-based language helps engineers coordinate on a softwareproject, making engineers more productive, and reducing bugs thatend-users see.On a technical level, the project integrates permissions such as"unique," "immutable," and "shared" into the language via a new kind oftype system, based on linear logic. These permissions express aliasinginformation, and this aliasing information can be leveraged to do manythings, including safely changing the representation of objects at runtime and automatically parallelizing code. The project is investigatingthe design of a single permission system that can address multiple suchconcerns; investigating how models of inheritance, composition,sub typing, casts, and polymorphism must be adapted to handlepermissions; and what design choices can best make such a languagepractical for writing programs of significant scale and design complexity.