Dart is an object oriented programming language which allows to put
static types only where appropriate. This way, programmers can choose where in
their code to benefit from safety guarantees and documentation/tool support
supported by the static typing discipline, and where to exploit the flexibility
provided by dynamic typing.
Furthermore, Dart's optional typing approach is in line with the idea of gradual
evolution from dynamic scripts to fully fledged static programs.
Moreover, the type system provides features that make language formalization and
type inference algorithms design challenging and novel.
In this talk, I will show the research I have been doing during my PhD.
I will first show a formal model of a core of Dart. Basing on such model I will discuss
alternative type system and their properties. Finally, I will show
a (work in progress) type inference algorithm for Dart that fits well with optional typing.
Bio: Fabio is a PhD student at Aarhus University in Denmark. He is currently on its third year of PhD and
he is working on type systems and type inference for Dart, an Object oriented programming language.
Its main goal is to investigate on different type systems and type inference techniques and to see how
they are precise applied to real-world programs and what are the main limitations.