хорошо. спасибо

никто не поверит, что не несколько месяцев?

так жизнь у всех усложнится потому что сигнатуры и ошибки типов прост увеличатся в 8 раз с таким же замедлением чтения, может и большим если как в примере выше с одного слова названия параметров начинать

так смысл этих s чтоб найти s дальше в сигнатуре, чтоб понять каким местом семулька к сепулькарию приставлена - так или наоборот. и чем расстояние между одним s и другим в тексте меньше - тем быстрее найдешь

Да. Не знаю точно, что за место c p q s t a b, но там что-то вроде p (a -> b) -> q (s -> t) должно быть

И, что примечательно, это
а) содержит всю информацию, которую нужно знать о каждых из шести.
б) содержит всю информацию, которую в принципе можно узнать о каждых из шести.

Все шесть разные штуки, a — это не b, не c и не q, b, соответственно, не является ни одной из остальных пяти, итд, кроме того они связываются друг с другом вот в такую структуру, где a, b, s и t типы функций, и это всё находится в контексте p и q

Какое семантическое значение можно закрепить за вещами, которые по определению являются чистым синтаксисом без семантики вообще?

кто нибудь знает как генерить траверсалы для типов-сумм в microlens-th ?

прошли сутки

можно через lens генерить)
или через generic-lens

в microlens нет генератора траверсалов для конструкторов

обидно

понял, спасибо

Да в топку микроленз вообще

+

да и че обидно, generic-lens же есть все равно, он от lens не зависит

с microlens должен работать потому что а почему не должен

data X = A | B deriving Generic
_A, _B :: Traversal' X ()
_A = #_A
_B = #_B

и усе, generic-lens будто и нет

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

–