КП
совместность действий :) это типа если едешь командировку один, то это просто МАНДИРОВКА
Size: a a a
2020 May 13
IC
Чо это за стрелочка, кстати? Перл какой-то.
SN
первая ссылка на сохацкого сразу, лол
оГ
Чо это за стрелочка, кстати? Перл какой-то.
стопэ
КП
Неужели не понятно? Вот плюсик в кружочке, а вот стрелочка.
Ну тут понятно только то, что оператор плюсик-в-кружочке применяется, который... отображает в А?
DS
https://0-8-2.arrow-kt.io/docs/apidocs/arrow-optics/arrow.optics/-p-optional/codiagonal.html
Ну так оно. Линзы и кококо.
Ну так оно. Линзы и кококо.
Просто я же линзы из Control.Lens использую, в скале или тем более котлине я ими не злоупотребляю.
Но да, идея откуда название теперь понятно.
Но да, идея откуда название теперь понятно.
IC
Я нашёл какую-то пдфку Asymmetric Lenses in Scala Тони Морриса.
IC
Ну тут понятно только то, что оператор плюсик-в-кружочке применяется, который... отображает в А?
Ну оператор плюсик в кружочке я из универа помню. Но я не помню, что он делает.
IC
Не исключено, что это совсем другой оператор плюсик в кружочке.
IC
КП
А тут может быть что-то другое?)
IC
А, ну типа два опшина со значением дают None!
IC
Полезная штука.
DS
Не исключено, что это совсем другой оператор плюсик в кружочке.
В данном случае автор видимо имеет тип сумму в виду. Т.е. A ⊕ B изоморфно Either[A,B]
Т.к. выше он для типа-произведения использует ⊗ (Т.е. A ⊗ B изоморфно (A, B))
Т.к. выше он для типа-произведения использует ⊗ (Т.е. A ⊗ B изоморфно (A, B))
DS
Cм. в статье пункт: 4. Representing an Asymmetric Lens in Scala
SN
это очень важные сведения в контексте перекладывания жсонов из кафки в космос, да. обязательно изучу
DS
это очень важные сведения в контексте перекладывания жсонов из кафки в космос, да. обязательно изучу
Ну название для функции Choice a a -> a и вправду так себе. Но сложно для обобщенной штуки такого рода придумать разумное название.
SN
прям вот представляю следующую беседу с ПМами - "вы чо, чуваки, не понимаете разве, что ваша фича не сработает, ведь в картезианской бикатегории пара термов диагональный и бидиагональный ссылаются на каноническое ко-умножение и дуальное умножение? вы тупые штоле?"
SN
Ну название для функции Choice a a -> a и вправду так себе. Но сложно для обобщенной штуки такого рода придумать разумное название.
видишь ли, комизм ситуации в том, что конкретно эта кодобаза застряла на уровне F# 3.5, поэтому племенное знание - это что Choice на самом деле Result. и в связи с этим я хочу поинтересоваться: какой больной ублюдок придумал использовать Result<a,a>?