Обращать внимание на бренд? Лол, что за бред? Разве что проверить, не заведомо ли косячный бренд.

Тогда зачем в языке возможность для дата класса определять и переопределять методы?

var — это вообще происки дьявола

Не надо сабтайпинг в data

var — это вообще происки дьявола

Ну в однопоточке для байтодрочерства впринципе можно

происки дьявола — это вообще происки дьявола ?

А без сабтайпинга. Описываешь ты дата класс комплексных чисел. У них два представления. Для одного из них надо будет методов своих добавить какбе

Ну и опять же type class'ы кривая_рожа.jpg

О MLщики подъехали. Haskell'ом балуетесь?

О MLщики подъехали. Haskell'ом балуетесь?

мне вчера объяснили, что тайпклассы — это как Comparator...

оч хорошо ты ща объяснил

Ну вот смотри, классический пример, твоей библиотеке нужно чтобы в функцию foo приходил список значений такого типа, по которому ты можешь посортировать и вот так будут выглядеть два подхода: // вот это подход с сабтайпингом fun <A: Comparable<A> foo(list: List<A>): A = ??? // а вот так это было бы сделано через type class // Comparator - какой никакой, а с натяжкой тайп класс fun <A> foo(list: List<A>, comparator: Comparator<A>): A = ??? В чем преимущество тайп классов перед сабтайпингом - ты можешь сделать интсанс даже для класса, который нельзя расширить. В более функиональных языках есть имплиситные параметры и например в той же scala компилятор мог бы за тебя подставить Comparator, ну а в котлине приходится ручками

мне вчера объяснили, что тайпклассы — это как Comparator...

Ну тайпклассы - это какбе такие улучшенные интерфейсы, мемберов которых можно реализовывать где хошь. По крайней мере в Haskell так

не их ли в расте называют трейтами?

карочи это просто интерфейсы

что за тупэклассы такие?

Раст не знаю

карочи это просто интерфейсы

мда устарел я кароч где мой бейсик

почему то без них жилось нормально

почему то без них жилось нормально

почему то без них жилось нормально

бле, mappable

Ну а как ещё описать функтор коротко и без теории категорий?

Ага, до тех пор как сабтайпинг можно было сделать

Просто описать 2 закона, не вдаваясь в категорщину

Они опираются на то, что есть map => функтор - mappable

Законы?

в котлин нормальный тернарный оператор завозить не собираются еще?

в котлин нормальный тернарный оператор завозить не собираются еще?

Да. Если точнее, то они опираются на наличие операции F (lift), но можно сформулировать и через map, та как они друг через друга выражаются.

он вроде как бы выглядит понятнее проще и короче в других языках, зачем ифы дергать?

Что за lift? Насколько я понимаю, там есть просто 2 закона описывающих поведение map https://wiki.haskell.org/Functor

Прогнал чутка. liftM и есть map, но для монад Prelude Control.Monad Data.Functor> :t fmap fmap :: Functor f => (a -> b) -> f a -> f b Prelude Control.Monad Data.Functor> :t liftM liftM :: Monad m => (a1 -> r) -> m a1 -> m r

у меня такие чуство что я на уроке ядерной физике

javascript какойто

javascript какойто

это уже избыточный бредовый функционал который только портит читабельность

это уже избыточный бредовый функционал который только портит читабельность

и ваще я бухой сижу

щас придут

это уже избыточный бредовый функционал который только портит читабельность

надо наглядно как в гарварде, чтобы даже собака поняла

мне это объяснили некачественно

мне это объяснили некачественно