Blogs (9) >>
Sun 30 October - Fri 4 November 2016 Amsterdam, Netherlands
Mon 31 Oct 2016 14:05 - 14:40 at Luzern - Typing and Transpilation Chair(s): Tobias Wrigstad

Julia is an untyped imperative programming language designed for scientific computing. Despite being untyped, Julia provides a rich runtime type system that includes features such as inheritance, but lacks the mechanisms to ensure compliance with interfaces. We propose a static type system for a subset of Julia, called Jolt, ruling out functional interface mismatches by synthesizing abstract interfaces from concrete implementations. Jolt can rule out some type errors in existing code without any new annotations, providing additional safety for free.