Ну, я хз как процесуально это должно быть.
Но например рада по телевещанию может отключать без суда вроде, просто своим решением, на основе каких-то фактов

но я не уверен

я к тому что не все через суд решаеться

бля, чет я так сейчас расстроился, что у разных чисел нет общего контракта на операторы

Где?

в джаве/котлине

скале

И чем это мешает?

ну сделал ты такой свой численный тип, а у него все говно вроде pow, abs, max/min и прочие заново нужно писать

И не может быть. Можешь посмотреть кусок выступления с котлинкофа, где я объясняю, почему это так. И можешь посмотреть KMath, который эту проблему решает

Приходи в свифт, тут есть

@frozen public struct Int : FixedWidthInteger, SignedInteger

public protocol SignedInteger : BinaryInteger, SignedNumeric

public protocol SignedNumeric : Numeric

public protocol Numeric : AdditiveArithmetic, ExpressibleByIntegerLiteral

public protocol AdditiveArithmetic : Equatable

public protocol FixedWidthInteger : BinaryInteger, LosslessStringConvertible where Self.Magnitude : FixedWidthInteger, Self.Magnitude : UnsignedInteger, Self.Stride : FixedWidthInteger, Self.Stride : SignedInteger

public protocol Strideable : Comparable

можно тлдр?

@frozen public struct Int : FixedWidthInteger, SignedInteger

public protocol SignedInteger : BinaryInteger, SignedNumeric

public protocol SignedNumeric : Numeric

public protocol Numeric : AdditiveArithmetic, ExpressibleByIntegerLiteral

public protocol AdditiveArithmetic : Equatable

public protocol FixedWidthInteger : BinaryInteger, LosslessStringConvertible where Self.Magnitude : FixedWidthInteger, Self.Magnitude : UnsignedInteger, Self.Stride : FixedWidthInteger, Self.Stride : SignedInteger

public protocol Strideable : Comparable

И чего, это нормально работает? У меня профессиональный интерес. С виду лучше, чем java.Number, но там все равно хорошо общие интерфейсы не сделаешь

Я хз, расширять это своими целочисленными не пытался.

> И не может быть
В хаскеле может быть 🤔

Операции везде работают по разному и выделять их в интерфейсы - так себе идея. Решать это можно тайп-классами, но у них есть проблема с тем, что к одному типу операции прибиты гвоздями и будут беды, когда не совсем  однозначное прочтение операторов. В Kmath это решается разделением операций и значений, то есть добавляются экстеншены в зависимости от того, где используются элементы. На самом деле хаскель тут не спасает, потому что байндинги для тайп-классов все равно надо писать.

Там вопрос не в этом, а в том, что такое Int + Double

На самом деле нет. Выше написал. Все равно придется свою реализацю делать и в тайп-класс пихать и проблему неоднозначных операций оно не решает

ах да, я забыл, что в жаве/котлине НЕТ ТАЙПКЛАССОВ

ну и не пиши тогда на джавакотлине