AN
а нет, у Number-а не определен
+так именно поэтому и не определен
Plusable выше, то я и не смогу сложить Int и DoubleSize: a a a
2021 February 03
(
ну так если у меня во вселенной есть только
AN
ну так если у меня во вселенной есть только
Plusable выше, то я и не смогу сложить Int и DoubleAN
С точки зрения хаскелиста алгебры очень похожи на тайп-классы, но суть в том, что по крайней мере на уровне ядра они должны быть прописаны явно, а не байндятся по типам. Потом, если есть гарантия, что надо работать только с даблами делается дополнительный экстеншен модуль, который делать дефолтные операции везде для даблов
AD
хаха, лол https://t.me/bbbreaking/79406
думали, в Европу попали?)))
думали, в Европу попали?)))
AN
так, и что я должен увидеть?
Внутри вот этого SpaceOperation, будет работать сложение на любых объектов, типа T. Не обязатльно чисел
(
Внутри вот этого SpaceOperation, будет работать сложение на любых объектов, типа T. Не обязатльно чисел
ну и?
AN
ну и?
ну и все, дальше можно аналогичные контексты делать с любыми операциями: https://github.com/mipt-npm/kmath/blob/dev/kmath-core/src/commonMain/kotlin/kscience/kmath/operations/OptionalOperations.kt и не байндить их к типам никак.
(
ну да
(
это то, о чем я говорил
(
почему это нельзя сделать в языке, где есть тайпклассы?
(
Или интерфейсы с селф-типами
AN
почему это нельзя сделать в языке, где есть тайпклассы?
Можно, но А) оно будет прибито к типам и не решить проблему D+I != I+D и Б) все равно надо будет писать ровно тот же код
YN
(
Можно, но А) оно будет прибито к типам и не решить проблему D+I != I+D и Б) все равно надо будет писать ровно тот же код
> Прибито к типам
> не решит проблему D + I != I + D
Откуда эта проблема вообще возьмется без неявных конверсий?
newtype IntButMonoidIsMultiplication = Int
class Monoid IntButMonoidIsMultiplication where
mempty = 1
combine = *
> не решит проблему D + I != I + D
Откуда эта проблема вообще возьмется без неявных конверсий?
AM
хаха, лол https://t.me/bbbreaking/79406
думали, в Европу попали?)))
думали, в Европу попали?)))
Ты думаешь, откуда тут с ночи сотни сообщений?)
AN
> Прибито к типам
> не решит проблему D + I != I + D
Откуда эта проблема вообще возьмется без неявных конверсий?
newtype IntButMonoidIsMultiplication = Int
class Monoid IntButMonoidIsMultiplication where
mempty = 1
combine = *
> не решит проблему D + I != I + D
Откуда эта проблема вообще возьмется без неявных конверсий?
Что должно возвращать сложение инт + дабл?
(
Что должно возвращать сложение инт + дабл?
ошибку компиляции
AN
ошибку компиляции
Ну если так, то проблемы, конечно нет, но и единого интерфейса не сделаешь. Так-то ты можешь почти все повесить на Comparable