AM
Size: a a a
2021 March 24
AD
Да пофиг чесслово
VP
Так ты перешёл по сокращенной ссылке, вот так сюрприз
AM
Так ты перешёл по сокращенной ссылке, вот так сюрприз
Ога
AD
Ололошкенька
AD
Гавкал на слона
AD
Слону надоело
AM
Отслеживание эффективности различных способов трафик гнать на сайт, вот это новшество!
AD
Результат очевиден
AM
Гавкал на слона
От того, что там сокращенная ссылка отслеживание не пропадает :)
I
HKT. Композиция всяких HKT выглядит довольно сложной
И да, будет ломать типоклассы. Как выбирать инстанс для
И да, будет ломать типоклассы. Как выбирать инстанс для
String → A|B? Но сама фича очень интересная. В хаскелле её порой не хватает. Вопрос, конечно, можно ли впихнуть её в язык. Ну и запихивание такой фичи в язык с подтипированием и без параметрического полиморфизма будет выглядеть совсем по другому, чем если всё наоборотПроблема конкретно с хаскелем и юнионами в том, что юнионы ломают глобальный вывод типов. Я вот сейчас читаю статью от августа прошлого года, где Хингли-Милнера адаптируют для типов объединений и пересечений. Так что где-то через лет 10-20 можно их ожидать в хаскеле :)
AM
От того, что там сокращенная ссылка отслеживание не пропадает :)
а, тфьу, не так понял
AM
Отслеживание эффективности различных способов трафик гнать на сайт, вот это новшество!
а то)
AD
А теперь к автомобилям. Та степень обратной совместимости о которой ты говоришь, это оставляние дырки под бензин в электромоблиле
AD
В лучшем случае написав "не лить, устарело"
АХ
Проблема конкретно с хаскелем и юнионами в том, что юнионы ломают глобальный вывод типов. Я вот сейчас читаю статью от августа прошлого года, где Хингли-Милнера адаптируют для типов объединений и пересечений. Так что где-то через лет 10-20 можно их ожидать в хаскеле :)
А можно ссылку на статью? Хидли-Милнера ломает вообще всё :( rank-N ломает, GADTs ломают
AD
А если польешь бензин вытечет зальёт все нафиг и загорится когда газанешь
I
А можно ссылку на статью? Хидли-Милнера ломает вообще всё :( rank-N ломает, GADTs ломают
АХ
Благодарю
I
Благодарю
