Union and intersection types to support both dynamic and static typing

Ortín, Francisco; García, Miguel

doi:10.1016/j.ipl.2010.12.006

Cited by 20 publications

(11 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It has been used to implement the first prototype of the nitrO virtual machine [35], and its design principles have been applied in the development of the StaDyn programming language [36], [37]. It has also been used for educational purposes, in a compiler construction course [28].…”

Section: Methodsmentioning

confidence: 99%

Automatic Generation of Object-Oriented Type Checkers

Ortín¹,

Zapico²,

Quiroga³

et al. 2014

LNSE

Self Cite

View full text Add to dashboard Cite

Abstract-Type systems are aimed at preventing programming language constructions from having wrong behavior at runtime. Different formalisms are used to guarantee that a type system is well defined. However, the type systems implemented in commercial language processors (type checkers) do not commonly use tools that translate these formalisms into code. We propose a framework to facilitate the implementation of object-oriented type checkers, following widespread design patterns. A tool generates the specific implementation of a type checker, receiving a specification of the type system as its input. The generated code interacts with an API, accessible from the rest of the language processor implementation.

show abstract

Section: Methodsmentioning

confidence: 99%

Automatic Generation of Object-Oriented Type Checkers

Ortín¹,

Zapico²,

Quiroga³

et al. 2014

LNSE

Self Cite

View full text Add to dashboard Cite

show abstract

“…A formal description of its type system is depicted in [8] and [9]. Implementation issues are presented in Section 4.…”

Section: The Stadyn Programming Languagementioning

confidence: 99%

“…A dynamic reference is a subtype of a static one when all the concrete types of the dynamic reference promote to the static one [8]. Promotion of static references to dynamic ones is more flexible: static references should fulfill at least one constraint from the set of alternatives.…”

Section: Using Both Static and Dynamic Referencesmentioning

confidence: 99%

A Programming Language That Combines the Benefits of Static and Dynamic Typing

Ortín

García

2013

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

Abstract. Dynamically typed languages have recently turned out to be suitable for developing specific scenarios where dynamic adaptability or rapid prototyping are important issues. However, statically typed programming languages commonly offer more opportunities for compiler optimizations and earlier type error detection. Due to the benefits of both approaches, some programming languages such as C# 4.0, Boo, Visual Basic or Objective-C provide both static and dynamic typing. We describe the StaDyn programming language that supports both type systems in the very same programming language. The main contribution of StaDyn is that it keeps gathering type information at compile time even over dynamically typed references, obtaining a better runtime performance, earlier type error detection, and an intuitive combination of statically and dynamically typed code.

show abstract

“…Figure 2 shows how the dynamic ure reference accepts the union of all the messages in rence, Rectangle and Triangle. In case it was static, union type would only accept the intersection of their messages −see the type system formalization in [4].…”

Section: Ide Supportmentioning

confidence: 99%

“…The benefit of separating the dynamism concern (not explicitly stating it in the source code) is that it makes it easy to change 3 The numbers shown after Var are the unique identifiers set to each reference [4].…”

Section: Figure 2 Intellisense Behavior With Dynamic Referencesmentioning

confidence: 99%

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

Ortín

Morant

2011

Proceedings of the 1st Workshop on Developing Tools as Plug-Ins

Self Cite

View full text Add to dashboard Cite

Dynamic languages are becoming increasingly popular for different software development scenarios such as rapid prototyping because of the flexibility and agile interactive development they offer. The benefits of dynamic languages are, however, counteracted by many limitations produced by the lack of static typing. In order to obtain the benefits of both approaches, some programming languages offer a hybrid dynamic and static type system. The existing IDEs for these hybrid typing languages do not provide any type-based feature when dynamic typing is used, lacking important IDE facilities offered for statically typed code. We have implemented a constraint-based type inference system that gathers type information of dynamic references at compile time. Using this type information, we have extended a professional IDE to offer those type-based features missed for dynamically typed code. Following the Separation of Concerns principle, the IDE has also been customized to facilitate the conversion of dynamically typed code into statically typed one, and vice versa.

show abstract

Union and intersection types to support both dynamic and static typing

Cited by 20 publications

References 13 publications

Automatic Generation of Object-Oriented Type Checkers

Automatic Generation of Object-Oriented Type Checkers

A Programming Language That Combines the Benefits of Static and Dynamic Typing

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

Contact Info

Product

Resources

About