Народ, что такое classy optics? Есть ли оно для скалы сча? Гугление

Question

Народ, что такое classy optics? Есть ли оно для скалы сча? Гугление

нашло какие-то странные примеры.
Вчера спрашивал на счёт тайпклассов для замены примитивов монокля(Optic, Prism, etc) и упомянули classy optics
Но быстрое гугление ничего не нашло.

#programming #russian #scala

0

19.02.2021

11 ответов

12 просмотров

Ale Sha Автор вопроса

ⰽⱁⱅⱏ ⰿⰵⰶⰴⱆⱄⰾⱁⰲⱑⱀⱐⱄⰽⱏ
Можно забыть и забить. Взять тофу

За что именно взять тофу?

0

19.02.2021

Danila Matveev

Ale Sha
За что именно взять тофу?

за аннотацию одноименную

0

19.02.2021

Danila Matveev

Ale Sha
За что именно взять тофу?

https://github.com/tofu-tf/tofu/blob/e489d0c19a9217e03cf6bd8a8a6fa26aaad74eb1/optics/macro/src/main/scala/tofu/optics/macros/Optics.scala#L16

0

19.02.2021

Ale Sha Автор вопроса

Danila Matveev
https://github.com/tofu-tf/tofu/blob/e489d0c19a921...

А как это использовать то?

0

19.02.2021

Ale Sha Автор вопроса

Danila Matveev
https://github.com/tofu-tf/tofu/blob/e489d0c19a921...

У меня есть в голове идея для моноклёвых абстракций типа def geoPos[T: Optic[*, Address]](in: T): GeoPos = ??? Но я не понимаю как там чо в тофу работает

0

19.02.2021

Tachi Войцишевский

Ale Sha
У меня есть в голове идея для моноклёвых абстракци...

@ClassyOptics case class Foo(bar: Bar, baz: Bar) val foo: Foo = ??? Foo.bar.set(anotherFoo)(foo)

0

19.02.2021

Ale Sha Автор вопроса

Ale Sha
У меня есть в голове идея для моноклёвых абстракци...

Пока есть два более менее реальных кейса для этого. 1) Когда происходит изменение требований и появляется второй набор доменных классов(case class-ы). Тогда часть логики хочется абстрагировать от конкретных классов и кажется что оптические иллюзии абстракции подходят для этого 2) DSL для комбинирования Gen[..]-ов из scalacheck

0

19.02.2021

Oleg ℕižnik

Ale Sha
А как это использовать то?

def geoPos[T : * Contains Address](in: T) : GeoPos

0

19.02.2021

Ale Sha Автор вопроса

Tachi Войцишевский
@ClassyOptics case class Foo(bar: Bar, baz: Bar) ...

А там есть type-class-ы, которые ведут себя как оптики итп?

0

19.02.2021