AN
Но вообще, имхо, это тоже внешние к абстракции связи
Верно. Но сделать это хорошо - совсем не просто
Size: a a a
2021 February 03
I
Лол вспомни еще про комутативность сложения строки с числом в jvm
Строка с числом - это не сложение. То, что один оператор используется и для конкатенации и для сложения - ошибка.
AN
Строка с числом - это не сложение. То, что один оператор используется и для конкатенации и для сложения - ошибка.
С точки зрения алгебры - это как раз сложение. На входе строки, на выходе строки. Все, операция есть. Нейтральный элемент по сложению есть - получаешь пространство. Можешь пойти в слак в #mathematics там как раз сейчас дискуссия про это.
VP
Так если человек сконвертировал - он молодец, но тогда ему и все эти интерфейсы не нужны, потому что на конкретных типах все есть. А задача в общем случае такая - есть два нд-массаива. Надо их сложнить. А теперь догадайтесь как слкадывать разные элементы
Если я правильно понял, то началось всё как раз с того, что на написанном руками новом типе нет ничего. И никаких средств из коробки, чтобы не дублировать все числовые операции.
(
Если я правильно понял, то началось всё как раз с того, что на написанном руками новом типе нет ничего. И никаких средств из коробки, чтобы не дублировать все числовые операции.
да
AN
Если я правильно понял, то началось всё как раз с того, что на написанном руками новом типе нет ничего. И никаких средств из коробки, чтобы не дублировать все числовые операции.
Ну можно всегда его отнаследовать от маркерного интерфейса. Они бесплатные
I
Да, там комбинаторный взрыв + все равно некомутативные операции + нельзя ничего добавить
Ну, DbI превращает квадрат в линию. Кстати, я тут вспомнил, что вообще-то можно завести тупо функции типа max<T> и обёрток не понадобится. Надо поискать, наверняка последователи Александреску уже накатали либу.
AN
min, max можно сделать экстеншенами к Comparable, а для abs, нужен еще unaryMinus, который есть не у всего
(
Вообще, в абстрактном языке без стирания можно и какой-нибудь
class Coercible a b whereИ его инстансами перечислить, что вы там к чему хотите приводить
coerce :: a -> b
AN
Вообще, в абстрактном языке без стирания можно и какой-нибудь
class Coercible a b whereИ его инстансами перечислить, что вы там к чему хотите приводить
coerce :: a -> b
Не знаю про абстрактные, это есть в Груви и работает так себе
VP
Баним политику в чате?
Анонимный опрос
0%
Да, всё равно пользы не несёт, одни срачи, пусть в отдельный чат едет
0%
Нет, информацию надо доносить до масс, и я реально верю, что от этой темы тут в чате есть польза
Бан всё ближе или опрос уже закрыт?
(
Не знаю про абстрактные, это есть в Груви и работает так себе
Ну это почти тот же самый Number
AN
Бан всё ближе или опрос уже закрыт?
Надо требовать конституционного большинства
I
С точки зрения алгебры - это как раз сложение. На входе строки, на выходе строки. Все, операция есть. Нейтральный элемент по сложению есть - получаешь пространство. Можешь пойти в слак в #mathematics там как раз сейчас дискуссия про это.
Эм, неа. С точки зрения алгебры, конкатенация образует моноид, а сложение - коммутативную группу - тут тебе и коммутативность, и обратный элемент.
AN
Ну это почти тот же самый Number
Не, в намбере зашиты конкретные конверсии, там нет конверсий к новым типам например BigInt.
(
Эм, неа. С точки зрения алгебры, конкатенация образует моноид, а сложение - коммутативную группу - тут тебе и коммутативность, и обратный элемент.
у моноида операция так-то тоже должна быть коммутативная
AN
Эм, неа. С точки зрения алгебры, конкатенация образует моноид, а сложение - коммутативную группу - тут тебе и коммутативность, и обратный элемент.
Опять же пойди в слак, там как раз обсуждают, что в разных местах разные опеределения алгебр.
VP
Надо требовать конституционного большинства
Да тут всё равно власть админов, а опрос - показуха на тему "смотрите, у нас есть немного демократии".
Впрочем, как и везде 😏
Впрочем, как и везде 😏
(
а нет, наврал
(
ладно