Blogs (61) >>
Wed 18 Jul 2018 16:30 - 17:00 at Bangkok - Session #3 Chair(s): Hila Peleg

Modern object-oriented languages make use of complex subtype relations. Consider Julia programming language: it has user-defined invariant parametric types, existential types, union and covariant product types, as well as some ad hoc rules, like the diagonal rule, facilitating the use of the core mechanism of the language — multiple dispatching. Its subtyping relation had no rigorous description so far, is implemented in 2KLOC of highly-optimized C code touched by only a handful of core developers, and perceived by the community as a black box. Examples sending the algorithm into a loop or crushing the VM keep poping up on the issue tracker. To tame the complexity, some time ago, we aimed for a formal definition of the relation, accompanied with the implementation. But how can we be sure that our implementation indeed corresponds to the cryptic C one? To solve that, we collected a large number of examples of subtype checks from the live Julia sessions and compared the output with that of our implementation’s. It would be more enlightening, however, to learn how to generate pairs of Julia types which are likely to be in subtype relation to feed those into the testing framework. More interestingly, to learn the subtype algorithm itself.

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
Session #3ML4PL at Bangkok
Chair(s): Hila PelegTechnion, Israel
16:00
30m
Talk
Subtype Polymorphism à la carte via Machine Learning on Dependent Types
ML4PL
Jerry SwanUniversity of York, Colin JohnsonUniversity of Kent, Edwin BradyUniversity of St. Andrews, UK
16:30
30m
Talk
Can We Learn Some PL Theory? How To Make Use of a Corpus of Subtype Checks
ML4PL
Artem PelenitsynCzech Technical University in Prague
17:00
30m
Meeting
Open Forum
ML4PL