A Gradual Type System for Elixir
A Gradual Type System for Elixir
复制标题
Elixir 的渐进类型系统
DOI：
10.1145/3427081.3427084
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Marcos Viera
中科院分区：
文献类型：
--
作者：
Mauricio Cassola;Agustín Talagorria;Alberto Pardo;Marcos Viera
Elixir是一种具有动态类型的函数式编程语言。在本文中，我们提出了一个类型系统，使它能够执行静态类型检查的显着片段的Elixir。我们介绍的类型系统的一个重要特性是，它不需要对语言进行任何语法更改。类型信息是通过函数签名提供的，这些签名是根据Elixir typespec指令声明的。建议的类型系统是基于子类型和向后兼容，因为它允许存在的非类型化的代码片段。我们已经在Elixir中实现了类型检查器的原型。
Elixir is a functional programming language with dynamic typing. In this paper we propose a type system that makes it possible to perform static type-checking on a significant fragment of Elixir. An important feature of the type system we introduce is that it does not require any syntactic change to the language. Type information is provided by means of function signatures which are declared in terms of Elixir typespec directives. The proposed type system is based on subtyping and is backward compatible, as it allows the presence of untyped code fragments. We have implemented a prototype of the type-checker in Elixir itself.
渐进打字：新视角
影响因子：
--
作者：
Castagna, Giuseppe;Lanvin, Victor;Petrucciani, Tommaso;Siek, Jeremy G.
通讯作者：
Siek, Jeremy G.