AN
В общем случае это нельзя сделать костистентно, поэтому надо тем или иным способом определять алгебру, в которой работаете
Size: a a a
2020 June 25
BP
На самом деле связь довольно непосредственная. Платон вот тоже как раз рассматривал абстрактные идеалы. На практике я уже в нескольких выступлениях объяснял, почему нельзя сделать обобщенные операции для Number, не огребая в каком-то месте
Я думаю что Number + Double должен отдавать Double. Ну и дальше по спеке jvm. Или это не спека ...
AN
Я думаю что Number + Double должен отдавать Double. Ну и дальше по спеке jvm. Или это не спека ...
А если Number - это BigDecimal
BP
А если Number - это BigDecimal
То его
AN
Или short? или Float
(
Проблема в том, что правила разные для разных чисел. Как только привязываешь операции к типу первого операнда, оказывается, что нарушается контракт того же сложение и a + b != b + a
а, из-за несчастного субтайпинга
Ладно, принимается
Ладно, принимается
BP
Либо Double
BP
Или short? или Float
Я же сказал по спеке . Int + Float что даст, а short + int
AN
о, до свиданья коммутитивность
BP
В итоге это называется привидением типов
AN
Единственный вариант этого избежать - это явно задать алгебру и договориться, что в этой алгебре всегда получается, например Double
AN
Ну и надо помнить про боксинг.
BP
Проблема в том, что правила разные для разных чисел. Как только привязываешь операции к типу первого операнда, оказывается, что нарушается контракт того же сложение и a + b != b + a
В Pharo сделали. Но там эт жесть. У них BigDecimal автоматом приводится при сложении слишком большого числа
AN
В Pharo сделали. Но там эт жесть. У них BigDecimal автоматом приводится при сложении слишком большого числа
А вот это, детектив, очень дорого.
BP
Ну для числодробильней да
AN
А не для числодробителей религия позволит все скастить к даблам и не мучиться
AN
кроме денег :)
BP
А не для числодробителей религия позволит все скастить к даблам и не мучиться
Зачем если можно и так не мучатся 🤷♂
AN
Зачем если можно и так не мучатся 🤷♂
Ну я не знаю, нафига @happy_bracket в андроиде асбтрактные нумберы потребовались
(
Ну я не знаю, нафига @happy_bracket в андроиде асбтрактные нумберы потребовались
Сделать ключ-значение структуру с абстрактными ключами*