АХ
А никто не сделал aeson encoding Y via X Y, если между X Y и Y есть изоморфизм?
^
Size: a a a
2020 May 19
AV
Во, кстати да
AV
Спасибо!
AV
Надо будет ещё lossy/failable вариант запилить и вообще замечательно будет!
ЗП
Твиг что-то такое постил. iso-deiriving что-ли
AV
АХ
MK
Выглядит немного как изврат конечно
ЗП
Выглядит немного как изврат конечно
так много всяких врапперов для deriving via выглядит как изврат, но очень сильно сокращает код
MK
врапперы это неплохо
MK
а вот Point x y ~ Bool -> Double странновато
MK
понятно, конечно, но странновато
AV
Вообще хочется newtype и классы типов для:
1. lossless from, to, iso
2. failable from, to, ???
1. lossless from, to, iso
2. failable from, to, ???
ЗП
а вот Point x y ~ Bool -> Double странновато
это синтетика)
MK
это синтетика)
ага
MK
надо было придумать пример получше
MK
а кто-нибудь пользовался всерьёз
Ap вообще?AV
Чтобы во-первых использовать их в коде обычно, во-вторых для инстансов
AV
Для всяких transport/business типов полезно
AV
Вон в расте есть стандартные классы типов для From и Into (вроде) - удобно было