я вот не понял

я бы понял если Headers это семейство

суть в том что m (Either e a) ~ m (Headers h (Either e a)) vs m a ~ m (Headers h a). первное невозможно а второе возможно

вот этого не поняо

с телефона и без компилятора правда тяжело понимать

я бы понял если Headers это семейство

семейства нельзя в LHS

я тоже не понял

оно ж там справа

в левую сторону вообще можно не смотреть

если там в overlapping проблема была

я про то что оно там слева в т.ч., поэтому это не могло быть проблемой

а

а поменьшеньте-расскажите, если разберетесь детальнее плз?

в общем семейства не могут оверлаппится. оверлапятся инстансы у класса. А семейства в таком случае просто не должны конфликтовать

т.е. в одном случае правая сторона просто ТОЧНЕЕ чем в другом

в одном a в другом (Headers h a)

https://gist.github.com/sopvop/1b6bdbf35dc1d5105a061ef295836e15#file-overlap-hs-L89 вот такое пробую решение

Для IO обязателен интсанс applicative

А можно подробнее? Почему обязателен именно Applicative, а без Monad можно обойтись?

т.е. в одном случае правая сторона просто ТОЧНЕЕ чем в другом

что значит “точнее”?

в том же смысле в котором в Overlappable

Посоветуйте нуб-френдли библиотечку для простенькой графики и гуи. В своё время очень радовал Gloss, но не хватало виджетов (кнопочки, текстбоксы всякие).

ну не точнее а уже. я х.з. какое слово правильное, я CS не изучал типа [Int] уже чем [a]

ассоциированная TF предположительно как открытая должна работать, там ограничения все на LHS

хммм, непонятно тогда почему такое ограничение

Ну смотри, есть Overlappable TF для [a], и для [Int]. TF из первого инстанса унифицируется со вторым.

т.е. можно использовать в том же случае

ну не точнее а уже. я х.з. какое слово правильное, я CS не изучал типа [Int] уже чем [a]

"strictly more specific"? (из манула GHC)

ну не точнее а уже. я х.з. какое слово правильное, я CS не изучал типа [Int] уже чем [a]

специализированнее

вот, да

я рассуждаю так: у ассоциированных семей правила должны бы быть аналогичны открытым, т.к. проблемы проистекают из того, что они могут быть объявлены в разных модулях и клоузы будут подгружены в разном порядке

Посоветуйте нуб-френдли библиотечку для простенькой графики и гуи. В своё время очень радовал Gloss, но не хватало виджетов (кнопочки, текстбоксы всякие).

нормального нет ничего. Есть обёртка для FLTK, но она не френдли. Как и обёртки над Qt и GTK. Есть threepenny-gui - эта несложная, но "GUI" будет в браузере

Головы инстансов говорят о том как выбрать один в любом из случаев

Браузер, в принципе, подойдёт. Спасибо, потыкаю

как это может налагать ограничения на RHS ассоциированных TF я не понимаю

Браузер, в принципе, подойдёт. Спасибо, потыкаю

на ruHaskell есть статейка вводная

ещевопрос, в продолжение борьбы с Servant. как в ghci развернуть TF? ServerT blah blah -> в подлежащий тип

:kind!

о, а я в прокси всегда сувал

а я юзал :kind!

:kind! не умеет переменные

конкретизируй их

ну приходится

Prelude> :kind! (forall a. Q a) (forall a. Q a) :: * = Int

у меня все умеет

Prelude> :set -XTypeFamilies Prelude> type family Q a where Q a = Int

если не разворачивает - значит правила не позволяют выбрать

Что есть функтор, а что монада?

Тут такая цепочка: сначала идёт функтор, затем, как надстройка над ним, идёт аппликативный функтор, а затем уже, как надстройка над аппликативом, идёт монада. Поэтому всё, что Monad, оно, в свою очередь, и Applicative, и Functor.

ААААААААААА

Проклятый сервант

сволочь

понапишут на закрытых TF кода, а потом кроме Verb ничего не подходит

вот как жить после этого?

нет, всё норм

дислексия попутала

тем временем вышла версия generic-lens с траверсалами https://github.com/kcsongor/generic-lens#traversals

Сколько гигов оперативы при компиляции жрёт?

все

так слак уже все сожрал

либо линзы, либо слак

pick you challenger

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

юзать префиксы

Блин, ну это ж вообще ужас

DuplicateRecordFields + lens или NamedFieldPuns

наименьший ужас

Я смотрю вот во frege нормально сделано

вот бы сейчас на frege пописать

вот бы сейчас всем полям префиксы писать

DuplicateRecordFields + lens или NamedFieldPuns

Насколько эти расширения распространены?

у меня присутсвуют

Стоит овчинка выделки?

первое с 8.0, второе с допотопных

да, стоит

Ну пожалуйста: Classy lens, DuplicateRecordFields, всякие прочие заигрывания с row-polymorphism. Только префиксы все еще юзабельнее.

я с recordWildcards использую, в основном

Ну пожалуйста: Classy lens, DuplicateRecordFields, всякие прочие заигрывания с row-polymorphism. Только префиксы все еще юзабельнее.

В моём юзкейзе (типы месседжей месседж) проще дупликейт. А то там количество бойлерплейта для Aeson, Swagger и прочей документации увеличивается значительно.

еще и snake_case приходится использовать

deriveJSON умеет принимать конвертилки для названий полей

для переделывания верблюдов в змей и наоборот

что самое смешное, с deriveJSON еще норм. так как TH код это вполне код. А вот Generic хрень хуже

deriveJSON гораздо удобнее

Уже derive anyclass нельзя

ну я не готов писать deriveSwagger

извини

со схематикой не надо этим дрочем заниматься ;<

(надо другим)

ну мы правда не сваггер генерим, а json-schema выгружаем

да нормально с дупликейт филдс, в редких случаях когда не с вайлдкардами используются поля - можно и тип рекорда проаннотировать

можно и сваггер сделать оттуда же, но мне лень

а префиксы везде будут, в том числе и там где они не нужны

/me хотел бы отметить что swagger-ui говно как и всё что делают вебаны

вот ORF и аналогичными костыльками что-то особо не пользуются пока

ORF бесполезный же, не?

бесполезный - понятие растяжимое

либа вроде generic-lens полезнее, но там понятные проблемы с компиляторными тормозами (предположительно, конечно, но как иначе-то)

fast-logger - годная штука?

я использую logging-effect

у fast-logger заморочки с многопоточным логгированием