к
Size: a a a
2021 March 03
JS
дык сделать справа он бы и сам смог, uncurry добавить
нет, uncurry недостаточно, чтобы в такой же форме назад положить
KV
Ну короче я могу сам написать такой комбинатор, но это очень муторно
JS
data Context a b c = ContextДаже можно не две линзы тут указать, а три, чтобы в третью складывать результат функции от первых двух, как-то так
{ fieldA :: a
, fieldB :: b
, fieldC :: c }
> [Context True 2 "heck"] & (_ #fieldB #fieldC) %~ replicate
Context True 2 ["heck", "heck"]
fromBCtoC f (Ctx a b c) = Ctx a b (f b c)а в общем виде такое решать замучаешься
KV
Замучаюсь, да
JS
Ну короче я могу сам написать такой комбинатор, но это очень муторно
так чем не нравится imap?
KV
так чем не нравится imap?
Не будет работать для бонусного варианта с произвольным типом и несколькими линзами
KV
struct & updateFieldDepengingOnOtherFields fieldOne fieldTwo fieldRes (\one two ->...)
Ещё бы хорошо если б эта функция поливариадичная былаJS
вот я тоже сперва подумал, что надо все параметры в индекс перекинуть. а как это сделать?
KV
НУ ТУТ АНОНИМНЫЕ РЕКОРДЫ НАДО
KV
В общем, это было из серии "как писать на хаскеле как будто не на хаскеле"
JS
а мне всё-таки интересно.
как из оптики по (i, a) сделать оптику по a с индексом i?
как из оптики по (i, a) сделать оптику по a с индексом i?
KV
Там же тайпклассы
JS
да, там тайпклассы, клоуны с шутами, магма, рынок и базар. а сделать-то как?
KV
Ну чтобы можно было индексить, нужен инстанс тайпкласса, так что вопрос сводится к тому, как сделать инстанс "на ходу". Ответ на этот вопрос известен?
JS
а мне всё-таки интересно.
как из оптики по (i, a) сделать оптику по a с индексом i?
как из оптики по (i, a) сделать оптику по a с индексом i?
кажется, что-то нашёл
JS
ты же поменял справа от %~
& traverse . imapped %@~ fJS
Ну чтобы можно было индексить, нужен инстанс тайпкласса, так что вопрос сводится к тому, как сделать инстанс "на ходу". Ответ на этот вопрос известен?
какого тайпкласса? Indexed вроде тип, а не класс