Union and intersection types to support both dynamic and static typing

Authors:
Francisco Ortin;Miguel García
Affiliations:
Computer Science Department, C/Calvo Sotelo s/n, 33007, Oviedo, Spain;Computer Science Department, C/Calvo Sotelo s/n, 33007, Oviedo, Spain
Venue:
Information Processing Letters
Year:
2011

Citing 10
Cited 5

Quasi-static typing

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic typing in a statically typed language

ACM Transactions on Programming Languages and Systems (TOPLAS)
Soft typing

PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
Type inclusion constraints and type inference

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Intersection and union types: syntax and semantics

Information and Computation
Flow-sensitive type qualifiers

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Subtyping with Union Types, Intersection Types and Recursive Types

TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Gradual Typing for Objects

ECOOP '07 Proceedings of the 21st European conference on ECOOP 2007: Object-Oriented Programming
Efficient virtual machine support of runtime structural reflection

Science of Computer Programming
Coinductive Type Systems for Object-Oriented Languages

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming

IDE support to facilitate the transition from rapid prototyping to robust software production

Proceedings of the 1st Workshop on Developing Tools as Plug-ins
Separating different responsibilities into parallel hierarchies

Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering
Efficient support of dynamic inheritance for class- and prototype-based languages

Journal of Systems and Software
A hybrid class- and prototype-based object model to support language-neutral structural intercession

Information and Software Technology
Efficient runtime adaptability to support context-awareness in a robotic framework

Journal of Ambient Intelligence and Smart Environments - Ambient and Smart Component Technologies for Human Centric Computing

Quantified Score

Hi-index	0.89

Visualization

Abstract

Although static typing provides undeniable benefits for the development of applications, dynamically typed languages have become increasingly popular for specific scenarios. Since each approach offers different benefits, the StaDyn programming language has been designed to support both dynamic and static typing. This paper describes the minimal core of the StaDyn programming language. Its type system performs type reconstruction over both dynamic and static implicitly typed references. A new interpretation of union and intersection types allows statically gathering the type information of dynamic references, which improves runtime performance and robustness. The evaluation of the generated code has shown how our approach offers an important runtime performance benefit.