Julia: Great Language or the Greatest Language - Keynote by Jan Vitek

Dive into a keynote address by Prof. Jan Vitek at JuliaCon 2021, exploring the Julia programming language's design, implementation, and impact on scientific computing. Learn about Julia's performance advantages, subtyping algorithms, type system intricacies, and the challenges of eval and world age. Gain insights into type stability, JIT compilation techniques, and the language's potential to revolutionize scientific programming. Engage with thought-provoking questions about programming language evolution, Julia's speed compared to C, and the relevance of pre-2010 programming concepts in today's landscape.

Welcome!.
Information about JuliaCon 2021.
Schedule and organization of the JuliaCon 2021.
Introduction of prof. Jan Vitek.
Prof. Jan Vitek "Julia: Great language or the greatest language".
Why are we still inventing, adopting, and abandoning programming languages?.
How to revolutionize scientific programming?.
Programming languages landscape.
What have we learned in the last 20 years?.
Intel project on the parallel accelerator.
Publishing papers on Julia.
Our first paper: Julia is fast.
Julia implementation.
Julia design.
Julia coding style.
Implementation, design, and code styles make Julia fast.
Second paper: formalizing Julia subtyping algorithm.
Defining rules of subtyping.
Normalization of types.
Normalization of types is in the exponential complexity class.
Representing types as trees.
Third paper: rational reconstruction of Julia subtyping.
Who is right?.
Subtyping parametric types.
The diagonal rule.
Julia type system isn't decidable, what we will do with it?.
Fourth paper: eval and world age.
Fifth paper: type stability and type grounded.
Q&A: What are the promising techniques from JIT theory that weren't put into practice?.
Q&A: What are the barriers for Julia reaching the speed of C?.
Q&A: Is the concept of programming from the time before 2010 still relevant in 2021?.