Programming with Polymorphic Variants
Programming with Polymorphic Variants
复制标题
使用多态变体进行编程
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Jacques Garrigue
中科院分区：
文献类型：
--
作者：
Jacques Garrigue
自十多年前，结构性多态性的推断 - i.e我们在客观标签系统上的经验，我们描述了如何将多态性的多态性整合到编程语言中，以及我们的类型详细说明。推论和汇编方案。
Type inference for structural polymorphism —i.e. record and variant polymorphism— has been an active area of research since more than 10 years ago, and many results have been obtained. However these results are yet to be applied to real programming languages. Based on our experience with the Objective Label system, we describe how variant polymorphism can be integrated in a programming language, and what are the benefits. We give a detailed account of our type inference and compilation schemes.