AS
Когда все и так все знают, а пройти ммимо невозможно
Size: a a a
2021 May 03
YS
Тогда возможно
AS
Я про этот пример и писал выше
DB
если непонятен код на линзах может быть 2 путя: либо нужно просто изучить комбинаторы, либо кто-то написал плохой код. Какое отношение линзы или _что-либо-ещё_ имеют отношение к лапше — я не знаю
YS
Ошибка компиляции это ошибка компиляции.
Вопрос чуточку шире, как мне кажется.
Вопрос понимания логики работы программы за минимальное количество времени.
Вопрос чуточку шире, как мне кажется.
Вопрос понимания логики работы программы за минимальное количество времени.
AS
Мы и обсуждаем, что кто-то написал плохой код, в данном случае с буквами вместо нормальных типов
YS
Надо сравнить по понятности линзокод и "рекорды изкоробочные" (drf + nfp + wc)
AS
Строганов правильно пишет, из-за привычки мы усложняем и так сложные вещи
YS
Не уверен что линзы будут хуже)
YS
Единица измерения понятности :(
AS
Я немного вернусь к началу дискуссии, тезис не в том, что линзы плохие и непонятные, а в том, что просто заменив буквы в сигнатуре (6 параметров, да в функции столько не пихают) на что-то более понятное, можно было бы упростить всем жизнь
YS
Ну, я про те случаи, когда "итак видно" (глубокие траверсы, апдейты дефолтными методами явно больнее чем линзами)
AS
И я тоже не очень понимаю, почему просто написать о том, что у типа 6 однобуквенных параметров недостаточно, чтобы все сразу признали наличие проблемы
YS
Иногда что-то более конкретное чем s t a b сложно написать х.х
AS
Ну предположим хрен с ним с
s t a b, но там же еще и p и qDB
Ты их никогда не увидишь
AS
И то, что эти буковки задаются акиоматически "смотри, какие у нас бывают сигнатуры, в каждой есть буквы
s t a b", сильно понятнее это все не делаетAS
У вас нет привычки читать библиотечный код, чтобы разобраться когда из доки чего-то непонятно?
AS
Идеальная и не протекающая документация это конечно хорошо, жаль только, что ее не существует
AS
Мне кажется, кто-то (Гранин?) уже поднимал тему того, что в хаскеле почему то считаются нормальными антипаттерны, которые в большинстве языков относятся к дичи