TY - GEN
T1 - The dynamic practice and static theory of gradual typing
AU - Greenberg, Michael
N1 - Publisher Copyright:
© Michael Greenberg.
PY - 2019/7/1
Y1 - 2019/7/1
N2 - 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.
AB - 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.
KW - Challenge problems
KW - Dynamic typing
KW - Gradual typing
KW - Implementation
KW - Static typing
KW - Theory
UR - http://www.scopus.com/inward/record.url?scp=85069541421&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85069541421&partnerID=8YFLogxK
U2 - 10.4230/LIPIcs.SNAPL.2019.6
DO - 10.4230/LIPIcs.SNAPL.2019.6
M3 - Conference contribution
AN - SCOPUS:85069541421
T3 - Leibniz International Proceedings in Informatics, LIPIcs
BT - 3rd Summit on Advances in Programming Languages, SNAPL 2019
A2 - Lerner, Benjamin S.
A2 - Bodik, Rastislav
A2 - Krishnamurthi, Shriram
T2 - 3rd Summit on Advances in Programming Languages, SNAPL 2019
Y2 - 16 May 2019 through 17 May 2019
ER -