I
да откуда же вы берете два типа
Лонги и шорты, блин.
Size: a a a
2021 February 03
AN
Лонги и шорты, блин.
и это тоже. Кстати еще большие грабли
I
Беззнаковые числа и знаковые.
AD
Лонги и шорты, блин.
как будто на биржу пришел
I
как будто на биржу пришел
(
это всё ещё вопрос имплицитных конверсий, которые как бы снаружи абстракции
I
Чтобы заделать нормальную алгебру, тайпклассы скорее мешают. @noraltavir привёл пример про коммутативность сложения двух типов.
Лол вспомни еще про комутативность сложения строки с числом в jvm
AN
это всё ещё вопрос имплицитных конверсий, которые как бы снаружи абстракции
Не должно быть никаких имилицитных конверсий, о том и речь. Они ведут к очень мерзким ошибкам
(
а
VP
Речь о случае, когда тебе надо таки инты прибавить к даблам. Это просто каждодневный случай
А что мешает привести их явно к одному типу перед этим?
AN
Если еще не понятно, попробуй к BigInt Double добавить
AN
А что мешает привести их явно к одному типу перед этим?
К какому?
(
все, я понял о чем речь
VP
К какому?
К тому, который надо, это же человек решает
VP
Я, видимо, всё ещё не уловил нить разговора
(
К тому, который надо, это же человек решает
речь о том, чтобы были convenience функции, как, например, в котлине
Int.plus(Int), Int.plus(Double) и т.д.AN
К тому, который надо, это же человек решает
Так если человек сконвертировал - он молодец, но тогда ему и все эти интерфейсы не нужны, потому что на конкретных типах все есть. А задача в общем случае такая - есть два нд-массаива. Надо их сложнить. А теперь догадайтесь как слкадывать разные элементы
I
это всё ещё вопрос имплицитных конверсий, которые как бы снаружи абстракции
Не, ты так просто не решишь задачу. Единственное нормальное решение, которое я видел - это перечислить вообще все комбинации. Либо свои обёртки и DbI.
(
Но вообще, имхо, это тоже внешние к абстракции связи
AN
Не, ты так просто не решишь задачу. Единственное нормальное решение, которое я видел - это перечислить вообще все комбинации. Либо свои обёртки и DbI.
Да, там комбинаторный взрыв + все равно некомутативные операции + нельзя ничего добавить