к
Size: a a a
2020 November 23
MK
да весь скопед в дефолт и всё
MK
кому оно мешает вообще
MK
но реально не очень понятно как это оказалось в скопеде
так ты вводишь ТИПОВУЮ ПЕРЕМЕННУЮ в СКОУП
MK
в куске
in можешь использовать имя yMK
чем не введение во скоуп
KV
Вообще не думаю, что какая-либо оптическая магия поможет мне с суммами, где у конструкторов много похожих аргументов
MK
так y уже должен быть в скоупе и до let
чего это
AA
Я видимо туплю и не знаю нужных мне комбинаторов, но и как найти их тоже не знаю
на самом деле дырки могут находить нужные комбинаторы, токо лучше их пробовать в коде где линзы используются а не на абстрактной комбинации линз с сильно обобщенным типом и если собирать упрощенный пример на котором пытаться найти нужный комбинатор с помощью дырки - то не увлекаться всякими перегруженными литералами или аннотировать их
MK
λ> let x :: a = "abc" in print @a x
<interactive>:4:30: error: Not in scope: type variable ‘a’MK
а хм, возможно я не прав
KV
Вот бы ещё эти дырки не ждать по 15 секунд
MK
λ> case "abc" of (x :: a) -> print $ typeRep @a
[Char]MK
энивей, вот кейс вводит в скоуп
к
Вообще не думаю, что какая-либо оптическая магия поможет мне с суммами, где у конструкторов много похожих аргументов
тут помогут рекорды, где схожим аргументам давать одинаковые имена полей
MK
у лета какие-то упоротые правила