M
Ок, проверю на досуге
Size: a a a
2021 May 26
ЮБ
Как там poc?
Oℕ
забыл
ЮБ
А есть вообще мысли по нормальному для скалы 3 адаптировать либу? Чтобы там деривейшон работал, например
P
а в скале 3 сейчас еще нет нормальных тагов/ньютайпов?
M
Поскольку на данный момент я не в теме фичей и паттернов скала3, то затрудняюсь ответить по причине не понимания вопроса) Если сможешь обозначить конкретную проблему в виде кода в скасти - мне будет гораздо проще)
P
только POC от Вольпе?
ΛВ
и он не трогает никак деривейшн
ЮБ
@rudogma чтобы можно было типа того писать
ЮБ
Переслано от Oleg ℕizhnik
а если сделать просто
можно спокойно использовать свой энкодинг и генерализованный дерайвинг
object Boo extends NewType[Foo](Derive[Semigroup][Order][Show])
type Boo = Boo.T
можно спокойно использовать свой энкодинг и генерализованный дерайвинг
ΛВ
а для кейс обжектов же можно дерайвс писать?
ΛВ
если да, то можно ведь ваще
case object Boo extends NewType[Foo] derives (A, B ,C)
type Boo = Boo.T
ΛВ
(кажется, я не особо продумал это)
ЮБ
Не, не прокатит
Oℕ
https://github.com/Odomontois/kuraga/blob/master/src/main/scala/playground/typeclasses/derivation/Newt.scala#L13:L13
https://github.com/Odomontois/kuraga/blob/master/src/test/scala/playground/typeclasses/derivation/newtCheck.scala#L11:L11
всё вместе
https://scastie.scala-lang.org/Odomontois/TaAhxPCLTe2Qp599bI46EA/1
https://github.com/Odomontois/kuraga/blob/master/src/test/scala/playground/typeclasses/derivation/newtCheck.scala#L11:L11
всё вместе
https://scastie.scala-lang.org/Odomontois/TaAhxPCLTe2Qp599bI46EA/1
Oℕ
в примере специально есть инстансы автовыведенные и есть ручной
Oℕ
даже баунды предусмотрел я
AS
Нечитаемо в текстовом виде.
Oℕ
можешь провести ресёрч читаемости?