a
не нужно оборачивать аргументы
по сути я пытаюсь добиься описания диалогового дерева
но так что-б ответы на некоторые вопросы можно было типизированно распарсить и это-бы задавалось входным типом
Size: a a a
2020 March 27
I
I
trait IsoF[F[_], T1, T2] {
def to(in: T1): F[T2]
def from(in: T2): F[T1]
}я с такого начал. потом почему-то подумал что надо все в F завернуть..
I
спасибло за совет
I
а есть что-то уже такое готовое?
что-бы и инстансы
что-бы и инстансы
IsoF[F[_], T1, T2] <=> IsoF[F[_], T2, T1] были и еще что-то полезное. ну как-то не вериться что мне одному такое понадобилосьa
в зависимости от
F: Functor: Applicative: Monad, будет иметь разные инстансыa
IsoF[F, A, B] ~ Iso[F[A], F[B]], т.е. по-крайней мере это категорияa
а точнее групоид
a
ну а дальше надо думать. в скалаз такой тип есть
a
все время этот тип изобретают, для парсинга и всяких кодеков.
a
но не знаю, насколько удобно с ним работать в полностью абстрактном варианте
a
trait JsonCodec[A] {
def to(a: A): JsValue
def from(js: JsValue): Either[E, A]
}a
вот например вариант той же идеи
a
и таких сотни
a
лично мне удобнее работать с конкретными вариантами этого типа, без абстрактного
Fλ
тут A != Either[E,A]
a
ну ок, добавь еще
G[_]a
IsoF[Either[E, ?], Id, A, JsValue]a
но смысла больше не стало, только жизнь усложнилась
I
ладно. суть смысла я понял) каждый пилит свое)) спасибо))))))