Академические ученые заинтересовались наконец, что же там такого понаписал Безансон за последние 6 лет. Были впечатлены:


...apart from a partial description in
prose in Bezanson [2015], the only specification
of subtyping is 2,800 lines of heavily optimized,
undocumented C code (a snippet is shown in
Fig. 1 for your enjoyment). Inspection of Julia’s
2017 commit log shows that only three out of
over 600 contributors made substantial edits to
subtype.c, the file that implements it. Anecdotal
evidence, based on discussion with users,
suggests that the subtype relation is perceived as
a black box that behaves mysteriously.

Несмотря на весь этот бардак, в этом коде пока нашли только один серьезный баг (он давал неверный сабтайпинг в 120 случаях из 6 миллионов), уже пофиксили. И, главное, теперь есть формальная доказанная модель сабтайпинга, а то до сих пор все держалось фактически на интуиции одного человека.