Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

2020 February 03

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Grigory Pomadchin
Класси / не класси / полимфорик / не полиморфик
полиморфик будет как и в монокле генерить полиморфные линзы
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
вчера рассказал
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Grigory Pomadchin
Класси / не класси / полимфорик / не полиморфик
класси будет генерить имплиситы и помечать их тайплевельно именами полей
источник

V

Vasiliy in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
когда кривда забрал таблетки и не уснуть
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Oleg ℕizhnik
полиморфик будет как и в монокле генерить полиморфные линзы
а не полиморфик это какие?
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Grigory Pomadchin
а не полиморфик это какие?
Lens[S, A]
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
нет
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
я привёл пример
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
высри без стирания mapK для фримонады
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Grigory Pomadchin
а не полиморфик это какие?
т.е. представим, что у тебя есть
case class Foo[A](a : A, i: Int)
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
простой оптик сгенерит
def a[A] : Contains[Foo[A], A]
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
полиморфный сгенерит
def a[A, B] : PContains[Foo[A], Foo[B], A, B]
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
т.е. полиморфные позволяют менять тип
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
траверсить и т.п.
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
понял
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
а можешь еще сигнатуры показать Classy vs обычные? т.е. что значит тайплевельно именами полей помечать
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
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"]
источник

GP

Grigory Pomadchin in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
а как это используется в тофу?
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Grigory Pomadchin
а как это используется в тофу?
планирую перетащить пару кусочков из нашего проекта
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
например автоинициализация логгеров и подобных штук
источник