Gradual typing: a new perspective
Gradual typing: a new perspective
复制标题
渐进打字：新视角
DOI：
10.1145/3290329
复制
发表时间：
2019
影响因子：
--
通讯作者：
Siek, Jeremy G.
中科院分区：
文献类型：
--
作者：
Castagna, Giuseppe;Lanvin, Victor;Petrucciani, Tommaso;Siek, Jeremy G.
我们定义了一个新的，更语义的渐进类型的解释，并使用它来“渐进”两种形式的多态性：子类型多态性和隐式参数多态性。特别是，我们使用新的解释来定义三个渐进的类型系统-辛德雷米尔纳，与子类型，并与工会和交叉类型-在两个前序，子类型和物化。我们定义这些系统都声明-通过添加两个包容样的规则-这会产生更清晰，更容易理解，和精简的定义，并通过重用现有的技术，如统一和理货算法。
We define a new, more semantic interpretation of gradual types and use it to ``gradualize'' two forms of polymorphism: subtyping polymorphism and implicit parametric polymorphism. In particular, we use the new interpretation to define three gradual type systems ---Hindley-Milner, with subtyping, and with union and intersection types--- in terms of two preorders, subtyping and materialization. We define these systems both declaratively ---by adding two subsumption-like rules--- which yields clearer, more intelligible, and streamlined definitions, and algorithmically by reusing existing techniques such as unification and tallying.
登录
查看更多内容
DOI：
10.1016/0304-3975(88)90101-6
发表时间：
1988
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
S. D. Rocca
通讯作者：
S. D. Rocca
具有条件类型的软类型
DOI：
10.1145/174675.177847
发表时间：
1994
期刊：
ACM Trans. Program. Lang. Syst.
影响因子：
--
作者：
A. Aiken;E. Wimmers;T. K. Lakshman
通讯作者：
T. K. Lakshman
Union类型的逐步解读
DOI：
10.1007/978-3-319-66706-5_19
发表时间：
2017
期刊：
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
影响因子：
--
作者：
Matías Toro;É. Tanter
通讯作者：
É. Tanter
DOI：
10.1007/978-3-540-73589-2_2
发表时间：
2007-07
期刊：
--
影响因子：
--
作者：
Jeremy G. Siek;Walid Taha
通讯作者：
Jeremy G. Siek;Walid Taha
DOI：
10.1145/3009837.3009856
发表时间：
2017-01
期刊：
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
影响因子：
--
作者：
Nico Lehmann;É. Tanter
通讯作者：
Nico Lehmann;É. Tanter