Oℕ
Класси / не класси / полимфорик / не полиморфик
полиморфик будет как и в монокле генерить полиморфные линзы
Size: a a a
2020 February 03
Oℕ
вчера рассказал
Oℕ
Класси / не класси / полимфорик / не полиморфик
класси будет генерить имплиситы и помечать их тайплевельно именами полей
V
когда кривда забрал таблетки и не уснуть
GP
полиморфик будет как и в монокле генерить полиморфные линзы
а не полиморфик это какие?
Oℕ
а не полиморфик это какие?
Lens[S, A]
Oℕ
я привёл пример
Oℕ
высри без стирания mapK для фримонады
Oℕ
а не полиморфик это какие?
т.е. представим, что у тебя есть
case class Foo[A](a : A, i: Int)
case class Foo[A](a : A, i: Int)
Oℕ
простой оптик сгенерит
def a[A] : Contains[Foo[A], A]
def a[A] : Contains[Foo[A], A]
Oℕ
полиморфный сгенерит
def a[A, B] : PContains[Foo[A], Foo[B], A, B]
def a[A, B] : PContains[Foo[A], Foo[B], A, B]
Oℕ
т.е. полиморфные позволяют менять тип
Oℕ
траверсить и т.п.
GP
а можешь еще сигнатуры показать Classy vs обычные? т.е. что значит тайплевельно именами полей помечать
Oℕ
implicit def a[A]: Contains[Foo[A], A] with Tagged["a"]
implicit def a[A, B] : PContains[Foo[A], Foo[B], A, B] with Tagged["a"]
implicit def a[A, B] : PContains[Foo[A], Foo[B], A, B] with Tagged["a"]
GP
а как это используется в тофу?
Oℕ
а как это используется в тофу?
планирую перетащить пару кусочков из нашего проекта
Oℕ
например автоинициализация логгеров и подобных штук