|
|
Академические ученые заинтересовались наконец, что же там такого понаписал Безансон за последние 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 миллионов), уже пофиксили. И, главное, теперь есть формальная доказанная модель сабтайпинга, а то до сих пор все держалось фактически на интуиции одного человека.
(Читать комментарии) Добавить комментарий:
|
|