AP
в середине эффект
Size: a a a
2020 June 25
YS
DTO - хорошо с:
AP
data User a = User
{ uName :: Text
, uAge :: Int
, uProfile :: a
}
data Profile = ...
decodeFirst :: Text -> User Value
doStuff :: User Value -> m (context, User Value)
decodeRest :: (context, User Value) -> User ProfileAP
в
Value будет "недодекодированная" частьJS
Николай Артамонов
Да в том-то и дело, что хотелось избежать разных типов: один тип - чисто DTO, другой - предметный. Хотелось сразу в предметный декодировать. А предметный у меня создается смарт-конструктором, который сразу проверяет, что все инварианты предметной области соблюдены. И не позволяет сконструировать значение с некорректными инвариантами. Получается, что придется все же вводить DTO'шку промежуточную.
можно написать конкретную функцию вместо инстанса
НА
data User a = User
{ uName :: Text
, uAge :: Int
, uProfile :: a
}
data Profile = ...
decodeFirst :: Text -> User Value
doStuff :: User Value -> m (context, User Value)
decodeRest :: (context, User Value) -> User ProfileИнтересный вариант)
AV
А это надо из-за сохранения обратной совместимости и прямой совместимости, а это надо часто
AA
> [Also, I recently stepped down as chair of the Core Libraries Committee, and should update by bio for Yow!]
Кметт из комитета ушёл?
Кметт из комитета ушёл?
из комитета-то не ушел, председателем перестал быть
AV
Ясно
AV
я торопился, но не успел
YP
а неплохой пакетик https://hackage.haskell.org/package/deriving-aeson
хотя тут тоже неплохо выглядит
https://github.com/target/row-types/pull/50/files#diff-1ac790dccf9b3e6805e254e5adb84744R32
https://github.com/target/row-types/pull/50/files#diff-1ac790dccf9b3e6805e254e5adb84744R32
TZ
а можно как-то сделать так, чтобы *.hie файлы не валились в одну кучу, а имели хоть какую-то иерархию?
KZ
подозреваю, что вариант только выбрать другую кучу - https://downloads.haskell.org/ghc/latest/docs/html/users_guide/separate_compilation.html?highlight=hie#ghc-flag--hiedir%20%E2%9F%A8dir%E2%9F%A9
YP
тупой вопрос: любопытно, есть ли type family поверх констрейнт в виде лямбды, чтобы не дублировать тайпклассы для нескольких переменных в сигнатурах функций... 🤪
YS
А как это может выглядеть?
JS
тупой вопрос: любопытно, есть ли type family поверх констрейнт в виде лямбды, чтобы не дублировать тайпклассы для нескольких переменных в сигнатурах функций... 🤪
что-то типа
All Show [a, b, c]?YP
о да, интересное, спасибо
YP
еще
constraints либа вроде интересная, доводилось ли юзать? Но слегка зубодробительная местами, или то мне показалось