BP
Это реализуется в kmath путем создания независимой алгебры для чего угодно (хоть для строк). Это аналог твоего тайп-класса. Но тебе надо такую сложность?
Хм, Нада будет глянуть интересно про алгебру
Size: a a a
2020 June 25
(
Тогда там подходит Float, Double или BigDecimal. Из стандартного все. Зачем тут городить абстракцию?
С целочисленным делением тоже, плюс великое множество других типов, из которых можно сделать филд
AN
С целочисленным делением тоже, плюс великое множество других типов, из которых можно сделать филд
А зачем тебе он абстрактный?
(
Это реализуется в kmath путем создания независимой алгебры для чего угодно (хоть для строк). Это аналог твоего тайп-класса. Но тебе надо такую сложность?
Очевидно, что плохой аналог и мне это не надо, потому что котлин язык такой
(
А зачем тебе он абстрактный?
А зачем мне его привязывать к онли лонгам? Я что, в гошке?
(
Сегодня лонги, а завтра мы захотим усилить проверки типов и для миллисекунд введем обертку
AN
А зачем мне его привязывать к онли лонгам? Я что, в гошке?
у тебя open world или closed world?
AN
Есть довольно стандартное заблуждение фп-фанатов, особенно хаскель-фанатов. Заключается в том, что вот все эти тайп-классы позволяют сделать что угодно за бесплатно. Но вы всегда забываете о том, что это все работает только в closed world. Не получается тайп-классы заставить работать консистентно в системах, где в любой момент могут что-то добавить. А в системе с закрытом миром, вы и так знаете типы сразу.
(
Есть довольно стандартное заблуждение фп-фанатов, особенно хаскель-фанатов. Заключается в том, что вот все эти тайп-классы позволяют сделать что угодно за бесплатно. Но вы всегда забываете о том, что это все работает только в closed world. Не получается тайп-классы заставить работать консистентно в системах, где в любой момент могут что-то добавить. А в системе с закрытом миром, вы и так знаете типы сразу.
Чего? Что значит "в любой момент что-то добавить"?
AN
Чего? Что значит "в любой момент что-то добавить"?
Про орфанов слышал?
(
Про орфанов слышал?
Да
(
Это здесь ни причем
AN
Если есть задача построить либу, которая будет компилиться независимо от других либ - тут-то все и рассыпается. Добавления новых реализаций могут поломать код.
AN
Это здесь ни причем
на самом деле при чем. Но долго писать. Работать-таки надо. Дженерик числа нормально и без потери производительности нигде не сделали.
AN
В хаскеле - да, но при closed world assumption.
AN
В с++ тоже да, но на шаблонах
BP
на самом деле при чем. Но долго писать. Работать-таки надо. Дженерик числа нормально и без потери производительности нигде не сделали.
Да вроде в шарпе ?
(
Если есть задача построить либу, которая будет компилиться независимо от других либ - тут-то все и рассыпается. Добавления новых реализаций могут поломать код.
Орфаны здесь ни при чем, потому что есть скалка, в которой тайпклассы именованные и там этой проблемы нет
BP
Орфаны здесь ни при чем, потому что есть скалка, в которой тайпклассы именованные и там этой проблемы нет
Но производительность на уровне смалтока или ниже 🌚
AN
Да вроде в шарпе ?
Я сейчас не помню, но вроде смотрел - там те же грабли. Или не делаете реализацию абстракции и оставляете это пользоватю на усмотрение, или ставите умолчания, которые не всегда разумны. В kotlin это решается созданием своего модуля с экстеншенами который определяет умолчания для тех, кто его использует. см. kmath-for-real