VK
Чем проще механизм тем долговечнеее
Size: a a a
2021 April 22
SB
вроде норм
SB
но как ты спросил, я засомневался
SB
вот да!
DS
Здесь скорее всего была речь про явные forall'ы в типах функций, например как в подобных хаскельных примерах
type Nat f g = forall a. f a -> g a
type Nat f g = forall a. f a -> g a
AH
ну прочитав доку по хаскелю я уж понял!
AH
но такого от котла ждать странно
RM
DS
Ну мало ли, в скала 3 добавили
DS
В скала 2 можно было подхачить
AH
сравнил лол
AH
Ненене, котлин это про прагматичное пердакшн программирование без выебонов.
RM
тут такое дело, что прагматичность ну очень субъективна
RM
Кому-то и типы мешают прагматике
AH
вот по мнению авторов котлина (с которыми я согласен) прагматичность примерно так и выглядит!
DS
Прагматичность разная бывает.
Вон в расте прагматично жить без ассоциированных типов, местных HKT и т.п особо не выходит, потому что тогда возврат какой-нибудь футуры или итератора превращается либо в боксинг (что в расте фатально для оптимизатора во многих кейсах), либо в костыли-костыльчики с местными Rank2 типами и т.п.
Вон в расте прагматично жить без ассоциированных типов, местных HKT и т.п особо не выходит, потому что тогда возврат какой-нибудь футуры или итератора превращается либо в боксинг (что в расте фатально для оптимизатора во многих кейсах), либо в костыли-костыльчики с местными Rank2 типами и т.п.
DS
А я всего лишь хочу итератор из интерфейса вернуть
SB
а в С итератор как явление это очень непрагматично, кстати