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

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?.