Write a Blog >>
Fri 28 Sep 2018 11:50 - 12:00 at Frisco - Student Talks 1 Chair(s): Sukyoung Ryu

Julia is a young dynamic programming language designed for technical computations. Although it lacks the static typing discipline, Julia is full of types. Multiple dynamic dispatching is the core language mechanism making use of type annotations of method parameters, and residing on surprisingly complicated subtype relation. In previous work we studied one possible algorithmic formulation of the relation — it happens to be full of ugly patches and possibly inefficient procedures. All those irregularities were thoroughly discussed with the language developers and approved as reflecting the actual behaviors encoded in the highly optimized implementation.

We relate Julia’s expressive type language to Scala. We believe that most of the main pieces of the former: invariant type constructors and covariant tuples, existential and union types — can be mapped on Scala or DOT. Yet the latter manages to stay away from disturbing irregularities. We identify key features allowing for that and speculate about the ones which could be added to the system safely.

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

11:50 - 12:10
Student Talks 1Scala 2018 at Frisco
Chair(s): Sukyoung Ryu KAIST, South Korea
11:50
10m
Talk
Julia Subtyping Lessons Scala Could Learn (Student Talk)
Scala 2018
Artem Pelenitsyn Northeastern University
12:00
10m
Talk
Scala with explicit nulls (student talk)
Scala 2018
Abel Nieto University of Waterloo, Ondřej Lhoták University of Waterloo