к
Size: a a a
2020 November 23
MK
видимо
KV
тут помогут рекорды, где схожим аргументам давать одинаковые имена полей
Я так и делаю, но это не полностью решает проблему
KV
а еще генерик-линзы помогут
Ну хз такое
к
вместо селекторов typed @FieldName
к
Я так и делаю, но это не полностью решает проблему
звучит как задача, возможно ее кратко сформулировать?
KV
Подержите моё пиво пока я перепишу 10к строчек кода, ага
AA
вот тут я успешно попробовал найти ответы на пару предыдущих вопросов о линзах, правда сам-то я ответы знал и так, так что на чистоту эксперимента это явно плохо должно было повлиять
AA
Переслано от A64m AL256m qn<co...
кстати типдырки достаточно умные чтоб подсказать вот тут
failing
или, к примеру, вот тут
aside и below
> ([Left 1, Right (Just 2), Right Nothing]::[Either Int (Maybe Int)]) ^.. each . ((_Right . _Just) `_` _Left) :: [Int]
failing
или, к примеру, вот тут
[("foo", Just (1::Int)),("bar", Nothing),("baz", Just 2)] ^.. each . _ _Just :: [(String, Int)]aside и below
к
λ> case "abc" of (x :: a) -> print $ typeRep @a
[Char]хм, ну это ок, да, но с let все так как-то не оч связано
KV
звучит как задача, возможно ее кратко сформулировать?
Есть список, в котором элементы типа-суммы, причём у разных конструкторов бывают одинаковые поля. Надо достать из списка два поля, одинаковые для двух разных конструкторов, а остальное игнорировать
к
Переслано от A64m AL256m qn<cores> I0
кстати типдырки достаточно умные чтоб подсказать вот тут
failing
или, к примеру, вот тут
aside и below
> ([Left 1, Right (Just 2), Right Nothing]::[Either Int (Maybe Int)]) ^.. each . ((_Right . _Just) `_` _Left) :: [Int]
failing
или, к примеру, вот тут
[("foo", Just (1::Int)),("bar", Nothing),("baz", Just 2)] ^.. each . _ _Just :: [(String, Int)]aside и below
хм, удивлен удивлению, я думал в типодырках просто полный перебор с поиском всего что кастуется к нужному типу, а там похоже чет сложное
к
Есть список, в котором элементы типа-суммы, причём у разных конструкторов бывают одинаковые поля. Надо достать из списка два поля, одинаковые для двух разных конструкторов, а остальное игнорировать
"одинаковые для двух разных конструкторов" вот тут не понял
KV
data X = A { x :: () } | B { x :: () }
KV
Да, но поле с именем х ещё может попасться в других конструкторах, так что надо ещё фильтровать
KV
В итоге я написал что-то типа кастомных призм, на самом деле Maybe-значную функцию с матчингом, которая нужные поля выдаёт