Size: a a a

2021 July 10

AH

Ayrat Hudaygulov in F# Chat
я не уверен где кончается ручками, а где начинается орм
источник

ДБ

Дмитрий Башинский... in F# Chat
И чем сериализируешь?
А еще боюсь смены модели с такой штукой
источник

ДБ

Дмитрий Башинский... in F# Chat
Ты DU меняешь с обратной совместимостью?
источник

AH

Ayrat Hudaygulov in F# Chat
любым сериализатором сериализуешь
Покуда у тебя есть элементарный проперти тест вида

let ``round robin serialization-deserialization gives same object`` (du: YourDU) = 
   serialize du |> deserialize = du
источник

AH

Ayrat Hudaygulov in F# Chat
я говорил про квери по ДУ колонке, но я так не делаю в целом.
Я просто кладу в БД, потом просто достаю. Это дело аппликейшна сериализовать/десериализовать.
Там может быть не жсон, а протобаф даже, бд пофигу
источник

ДБ

Дмитрий Башинский... in F# Chat
Да, такое у меня есть
источник

ДБ

Дмитрий Башинский... in F# Chat
И мапперы так же
источник

AH

Ayrat Hudaygulov in F# Chat
поэтому все проблемы совместимости решаются на уровне приложения
источник

ДБ

Дмитрий Башинский... in F# Chat
Можешь показать кодец
store.Save(item)
Или как у тебя там?
источник

ДБ

Дмитрий Башинский... in F# Chat
И Get тогда уж
источник

SB

S B in F# Chat
Есть конечно. Это декомпозиция монады.
источник

SB

S B in F# Chat
Просто она явно не требуется.
источник

K

Kir in F# Chat
Что, прямо и для m ~ List есть? И для m ~ Const a?
источник

SB

S B in F# Chat
Ну да
источник

SB

S B in F# Chat
Ты же в общем случае декомпотзировать можешь
источник

SB

S B in F# Chat
То есть, это не часть монады по определению
источник

SB

S B in F# Chat
Но декомпозиция под капотом объективно необходима для работы многих типичных монад
источник

HK

Henry Kovalevsky in F# Chat
Обычно определяют не Monad<'T> -> 'T, а определяют Monad<Monad<'T>> -> Monad<'T>. Называется join либо flatten.
Позволяет определить композицию Клейсли через композицию функций и вышеупомянутый join.
источник

HK

Henry Kovalevsky in F# Chat
А просто Monad<'T> -> 'T — это слишком невнятная сигнатура. Для списка это может быть head, indexer, что либо другое.
источник

AH

Ayrat Hudaygulov in F# Chat
Ты может путаешь с M<M<a>> -> M<a>? Такая функция и правда есть
источник