DS
Благо всё равно так и так линзы генерить
Size: a a a
2020 July 16
p
ну с рекордами еще МОЖНО было бы жить, будь нормальный плагин для иде который бы помогал с ними справляться
DS
ну с рекордами еще МОЖНО было бы жить, будь нормальный плагин для иде который бы помогал с ними справляться
А чем плагин мешает? У меня вроде норм пашет.
p
А чем плагин мешает? У меня вроде норм пашет.
отваливается постоянно
p
goto definition работает раз через раз
SP
Но, спасибо, в следующий раз когда какой-нибудь Гранин будет скакать вокруг того, что в хаскель не идут люди из-за З л О б Н ы Х А к А д Е м И к О в , я буду тыкать тебя как пример того, до чего доводят фиговые дефолты языка и кривые рекорды.
И то что исправлять нужно именно это, а не слушать тот бред, что Simple/Boring хаскель пропагандисты орут.
И то что исправлять нужно именно это, а не слушать тот бред, что Simple/Boring хаскель пропагандисты орут.
меня тоже можешь добавить кек
DS
отваливается постоянно
Важная деталь, этот плагин очень криво работает с кодом, в котором есть ошибка.
p
DS
Вот на эти косяки вроде не наталкивался.
p
Важная деталь, этот плагин очень криво работает с кодом, в котором есть ошибка.
ну вот это да. если были бы в языке дыры, можно было бы закрыть ошибку в случае чего.
NL
Вообще конечно это какой-то позор, что в языке с type families, gadts, multiparameter type classes, rankntypes, linear types и ещё дюжиной умопомрачительных концептуальных прорывов невозможно пользоваться рекордами по-человечески.
Сам сейчас после 1.5 лет смотрю на войну Митчелла и других участников коммьюнити по поводу рекордов, и для меня это выглядит как испанский стыд. Понятно, что линзы лучше, понятно, что полиморфные апдейты, но блин 20 умных людей не могут договориться в течение нескольких лет, это финиш.
Сам сейчас после 1.5 лет смотрю на войну Митчелла и других участников коммьюнити по поводу рекордов, и для меня это выглядит как испанский стыд. Понятно, что линзы лучше, понятно, что полиморфные апдейты, но блин 20 умных людей не могут договориться в течение нескольких лет, это финиш.
p
и остальной код бы компилировался
DS
ну вот это да. если были бы в языке дыры, можно было бы закрыть ошибку в случае чего.
Ставишь undefined
DS
Вообще конечно это какой-то позор, что в языке с type families, gadts, multiparameter type classes, rankntypes, linear types и ещё дюжиной умопомрачительных концептуальных прорывов невозможно пользоваться рекордами по-человечески.
Сам сейчас после 1.5 лет смотрю на войну Митчелла и других участников коммьюнити по поводу рекордов, и для меня это выглядит как испанский стыд. Понятно, что линзы лучше, понятно, что полиморфные апдейты, но блин 20 умных людей не могут договориться в течение нескольких лет, это финиш.
Сам сейчас после 1.5 лет смотрю на войну Митчелла и других участников коммьюнити по поводу рекордов, и для меня это выглядит как испанский стыд. Понятно, что линзы лучше, понятно, что полиморфные апдейты, но блин 20 умных людей не могут договориться в течение нескольких лет, это финиш.
Основная проблема в том, что ими можно пользоваться по-человечески с generic-lens или lens, но это требует знания языка на достаточно хорошем уровне. Проблема в том, что вот любой новичок увидит эти рекорды и тут же убежит в закат.
DS
Потому что рекорды - это то, с чем сталкиваешься сразу же
DS
Сюда же и отвратительный, бессмысленный и откровенно вредный String
DS
Что он забыл в стд либе вот упорно непонятно
DS
Точнее понятно, но для языка в 2020м это не вариант
NL
Основная проблема в том, что ими можно пользоваться по-человечески с generic-lens или lens, но это требует знания языка на достаточно хорошем уровне. Проблема в том, что вот любой новичок увидит эти рекорды и тут же убежит в закат.
Как вот в пурсе классно решили эту проблему, прямо заглядение.
p
Что он забыл в стд либе вот упорно непонятно
а что с ним