文章基本信息

标题：The Dynamic Practice and Static Theory of Gradual Typing
本地全文：下载
作者：Michael Greenberg
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2019
卷号：136
页码：1-20
DOI：10.4230/LIPIcs.SNAPL.2019.6
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：We can tease apart the research on gradual types into two `lineages': a pragmatic, implementation-oriented dynamic-first lineage and a formal, type-theoretic, static-first lineage. The dynamic-first lineage's focus is on taming particular idioms - `pre-existing conditions' in untyped programming languages. The static-first lineage's focus is on interoperation and individual type system features, rather than the collection of features found in any particular language. Both appear in programming languages research under the name "gradual typing", and they are in active conversation with each other. What are these two lineages? What challenges and opportunities await the static-first lineage? What progress has been made so far?.
关键词：dynamic typing; gradual typing; static typing; implementation; theory; challenge problems