DF
Есть тип, на нем определены операции. Есть другой тип, на нем другие операции.
Size: a a a
2020 August 05
ИИ
Есть тип, на нем определены операции. Есть другой тип, на нем другие операции.
ну вот проверка на истину или фольш - это операция?
DF
Это сравнение.
ИИ
Это сравнение.
а сравнение это не операция?
DF
Операция.
ИИ
Операция.
в erlang в эту операцию можно установить любое значение (любого типа)
DF
Сравнение определено на всех типах рантайма, булевым типом не ограничивается.
DF
Ты можешь сравнить тапл и бинарь.
ИИ
Ты можешь сравнить тапл и бинарь.
ага
V
У кого-нибудь есть идеи, для чего такое может использоваться? https://github.com/erlang/otp/blob/master/bootstrap/lib/stdlib/include/assert.hrl#L62
ИИ
У кого-нибудь есть идеи, для чего такое может использоваться? https://github.com/erlang/otp/blob/master/bootstrap/lib/stdlib/include/assert.hrl#L62
может обман оптимизатора какого-нибудь?
DF
У кого-нибудь есть идеи, для чего такое может использоваться? https://github.com/erlang/otp/blob/master/bootstrap/lib/stdlib/include/assert.hrl#L62
Крешнуться если ассершн не сработал?..
V
почему не просто true? кроме борьбы с компилятором мне на ум больше ничего не приходит тоже
DF
Фактически, как часто используемый приём паттерн-матчинга без catch-all, только более читабельный.
DF
А, ты про
% cheap source of truth? 🙂V
DF
Забавный коммент.
DF
Не знаю, а давно эта строка написана?
DF
Может, раньше true/false могли переопределяться каким-то образом.
DF
4 года назад, не так давно.