AZ
но в жабе юзают эксепшны по каждому поводу
Size: a a a
2020 April 07
P
ну то есть ты предлагаешь использовать + как моноидную операцию. Ок, но это не всегда хорошо будет работать
я предлагаю использовать + там, где можно назвать операцию, что он исполняет, -- "add", ты говоришь про технические последствия, но это семантическая позиция. Это может быть просто хардкод в определении языка.
AZ
у меня вон сгенеренная по сваггеру либа на 404 кидает эксепшн "нотфаунд" вместо того чтобы нулл вернуть
AZ
я просто не люблю когда операторы разные вещи означают для разных типов. Типа » для чисел и для стримов
P
это известный факт
для меня был известный факт, что они не хуже, но проще обрабатываются в коде, но порядки, на которых они лучше -- не общеизвестный факт.
AZ
например если + оператор моноида, то у тебя должно выполняться (a+b) + c == a + (b+c)
AZ
а для даблов например это не работает
AZ
для меня был известный факт, что они не хуже, но проще обрабатываются в коде, но порядки, на которых они лучше -- не общеизвестный факт.
если эксепшны не выбрасываются, то трайктечи бесплатные - это известно
P
если эксепшны не выбрасываются, то трайктечи бесплатные - это известно
бесплатнее флагов, вот что важно
AZ
флаги не бесплатные
AZ
поэтому очевидно)
AZ
но достаточно дешевые чтобы про это не думать
AZ
и основывется на идее "эксепшны редко вылетают", когда на практике я видел по миллиону эксепшнов в секунду
P
а для даблов например это не работает
для плавающей запятой в общепринятой реализации, а ещё от флагов компилятора может зависить, тут всё очень сложно
AZ
только успевай гц запускать
P
но достаточно дешевые чтобы про это не думать
потому не на горячих участках обычно считаются как бесплатные
AZ
для плавающей запятой в общепринятой реализации, а ещё от флагов компилятора может зависить, тут всё очень сложно
ну вот поэтому им нужен какой-то свой оператор. Плюс я говорю:
MultipltyMonoid.+(10, 20) // 200AZ
не уверен что это очевидно
P
не уверен что это очевидно
потому, что это точно не очевидно, он не выполняет операцию, которую можно назвать "add" над своими операндами 10 и 20.
AZ
потому, что это точно не очевидно, он не выполняет операцию, которую можно назвать "add" над своими операндами 10 и 20.
выполняет