секреты кухни

[juan_gandhi]

Фесбук вдруг признался на твитере, что у них в коде куча NullPointerExceptions в их коде, и они зафигачили тулзу, чтобы с ними бороться.

Кстати, в Гугле была такая ловушка для NPE и прочего, ThirdEye называлась - если у тебя в коде NPE случается в продакшене, то тебе сразу мейл шлют, мол, слышь, инженер... Но это были "нулевые годы".

Вот такие дела. Вы там думаете, что в фесбуке какие-то гении работают. Там работают, по большей части (как и везде) мудаки и долбоебы. Но есть и гении.

Comments

[chaource]

Когда я работалъ на жабо-андроидахъ, то NPE была одна изъ главныхъ проблемъ, изъ-за которыхъ отлаживать программу приходилось ночами. Постоянно NPE по любому поводу, почти python какой-то, хоть номинально и java. Просто библiотека и SDK построены такъ, что тамъ очень часто получается null.

[juan_gandhi]

А при этом у них же там есть аннотации в этой ихней жабе, мол, notnull - правда, ими не особо-то и пользовались, потому что буков много, а толку мало.

[chaource]

Компиляторъ жабы не провѣряетъ NotNull, это должна дѣлать какая-та спецiальная программа, запускаемая дополнительно. И въ общемъ никому это неинтересно.

А кстати - можно ли въ Scala дѣлать NotNull?

[juan_gandhi]

Со скалой тоже не на 100% благополучно. Т.е. нормально, если вот я пишу скальный код, то после вызова каждой джавной функции лучше проверить все результаты на null, val whatIGot: Option[Something] = Option(javaclass.javamethod(params)). And if Java calls our scala method, it makes sense to wrap parameters in Option too. (And never write methods that take an option... but that's optional.)

Но у скалы есть один грязный секрет. Неинициализированные члены класса. Они все null.

[ordinary_joe_backup]

==по большей части (как и везде) мудаки и долбоебы. Но есть и гении.==

это везде всегда так. мало того, с ростом компании удельный вес мудаков и долбойобов неизбежно растет.

[tridecahedron.livejournal.com]

Неужто тоже "две вещи несовместные"

[juan_gandhi]

Ну мы тут думали, что в 2022-м уже люди немножко научились программировать. Особенно в такой конторе за такие деньги.

[zmeis]

В фейсбуке проверяют на null статически, а в гугле, видимо, проверяли в рантайме. Все-таки прогресс за 20 лет :)

[juan_gandhi]

Да, наверно. Вот, человечество движется. Куда-то.

[vak]

Это чисто джавская хворь, что ли?

[zmeis]

В С++ тоже больно от nullptr, но там хотя бы видно, что является указателем.

[juan_gandhi]

На 99% да. Вся джавская философия состоит в перепасовывании nulls и в проверках, время от времени, уж не null ли тот или иной пойнтер. Куклин на днях про это на фесбуке красиво написал. С научной точки зрения, джавщики живут в категории Эйленберга-Мура. Заменяя null username на пустую строку, сумму к оплате, если она null, заменяя на $0.00 - и будучи довольны своей рачительностью.

[zmeis]

Получается, все интеллектуальные усилия древних индийцев по изобретению нуля как полноценного числа пущены по ветру - оно опять exceptional value :)

[freedom_of_sea]

эта гадость повсюду, кроме С

потому что программисты С не ленились писать
if ! file обработка ошибок

[cali4nickation]

Я лично слишком редко вижу NPE чтобы считать его проблемой. И про ухищрения в Котлине по этому поводу скептичен, крокозяблики напоминают ранее модное увлечение в Scala Collections операторами. Может быть я не пишу энтерпрайз кода с многоуровнемыми геттерами? Но там мне кажется Collections.еmpty или Оptional должны помогать.

В golang вон люди беспрерывно проверяют err на ноль и не жалуются. Структурно то одно и тоже.

[juan_gandhi]

В golang вон люди беспрерывно проверяют err на ноль и не жалуются. Структурно то одно и тоже.

Это далеко не одно и то же. В скале можно ничего не проверять. Оно само.

[ircicq]

В C# придумали `#nullable enable` со статической проверкой на NRE.

В Java через N лет переймут.

[willyschmerz]

NPE, по сути, признак логической ошибки, мы что-то не инициализировали, но уже пытаемся использовать.

В С#, в типичном Ms стиле, придумали гениальное решение: спрятать симптом и загнать проблему поглубже, сделать так, чтобы вместо null вокруг летали неинициализированные null-objects. Теперь exceptions не возникают в тот момент, когда мы пытаемся работать с неинициализированным обьектом как будто он инициализирован (т.е. стало ясно, что происходит что-то не то). Вместо єтого мы просто используем неинициализированные данные как есть. Задача решена, землекопа полтора.

А то, что данные используются неправильные и мы в лучшем случае получим уже другой exception дальше по ходу исполнения (но тогда нам еще прийдется поразбираться откуда оно взялось), а в худшем просто тихо получим неверный результат - єто неважно, главное от NPE избавились полностью.

[juan_gandhi]

Аналогичная хрень в джаве была впендюрена лет 20 назад, я и в нее верил, как в хороший прием (пока ФП не освоил). Это и есть пример, когда обязательно нужно "дефолтное значение". Это и означает, что джавный менталитет в программировании - это категория алгебр над монадой Maybe. Типичное наблюдение над джавщиками: если не нашли, сколько должны доктору, значит, должны 0. Если не нашли, как зовут доктора, значит, доктора зовут "". Вот тут-то в скале и помогает какая-нибудь монада, лучше всего - ZIO.