Jan Vitek keynote is, among other things, about subtyping and their "rational reconstruction of Julia types" paper.

And their "World age in Julia" paper.

And "type stability".

***

Question answering: "jit compilers are machine learning programs" (the problem is that jit forgets things between runs, what it learned about libraries, about this particular program which is rerun and rerun".