лол, пусть распареллелит xD

лол, пусть распареллелит xD

нам нужен кластер для сериализации

type OptionToJson<'A>(r: IRegistry) = interface IToJson<Option<'A>> with member this.ToJson (x: Option<'A>) = onOptionResult "Option.ToJson" { let! inner = r.TryFind<'A>(), "inner implementation not found!" let! json = match x with | Some d -> d |> inner.ToJson | _ -> Success (Chiron.Json.Null()) return json }

type OptionToJson<'A>(r: IRegistry) = interface IToJson<Option<'A>> with member this.ToJson (x: Option<'A>) = onOptionResult "Option.ToJson" { let! inner = r.TryFind<'A>(), "inner implementation not found!" let! json = match x with | Some d -> d |> inner.ToJson | _ -> Success (Chiron.Json.Null()) return json }

type OptionToJson<'A>(r: IRegistry) = interface IToJson<Option<'A>> with member this.ToJson (x: Option<'A>) = onOptionResult "Option.ToJson" { let! inner = r.TryFind<'A>(), "inner implementation not found!" let! json = match x with | Some d -> d |> inner.ToJson | _ -> Success (Chiron.Json.Null()) return json }

Все равно это лучше, чем: var jObject = JObject.Parse(json); var value = (Type) jObject["Prop"] ?? throw new 2k+DomainException()

По крайней мере это можно отрефакторить

Если бы эта ебаная простыня была кодогенеренной

По крайней мере это можно отрефакторить

в какой-то степени она кодогенеренная, пушто человек, который ее написал уже нахуй не человек вовсе, это восстание машин какое-то блять

И я правильно понимаю, что так для каждого типа сделано?

По крайней мере это можно отрефакторить

похоже на то.

let readJson (x: Json) : Result<Delta, _> = checkResults() { let! cpc_id = x |> toOptStrSan "cpc_id" let! process_id = x |> toOptStrSan "process_id" let! process_name = x |> toOptStrSan "process_name" let! country = x |> toOptObj "country" Country.FromJson let! currency = x |> toOptObj "currency" Currency.FromJson let! employee_email = x |> toOptObj "employee_email" Email.FromJson let! employee_name = x |> toOptStrSan "employee_name" let! client_id = x |> toOptStrSan "client_id" let! client_name = x |> toOptStrSan "client_name" let! process_type = x |> toOptObj "process_type" ProcessType.FromJson let! intOption = toOptObj "negotiated_payment_terms" Int32.FromJson x let! negotiatedPaymentTerms = tryCreateNegotiatedPaymentTermsOption intOption return { cpc_id = cpc_id process_id = process_id process_name = process_name country = country currency = currency employee_email = employee_email employee_name = employee_name client_id = client_id client_name = client_name process_type = process_type negotiated_payment_terms = negotiatedPaymentTerms } } На вот, рефактори такое. Для каждого ебаного типа

Да выкинуть к хуям

У вас же не мобилки, берите utf8json

let readJson (x: Json) : Result<Delta, _> = checkResults() { let! cpc_id = x |> toOptStrSan "cpc_id" let! process_id = x |> toOptStrSan "process_id" let! process_name = x |> toOptStrSan "process_name" let! country = x |> toOptObj "country" Country.FromJson let! currency = x |> toOptObj "currency" Currency.FromJson let! employee_email = x |> toOptObj "employee_email" Email.FromJson let! employee_name = x |> toOptStrSan "employee_name" let! client_id = x |> toOptStrSan "client_id" let! client_name = x |> toOptStrSan "client_name" let! process_type = x |> toOptObj "process_type" ProcessType.FromJson let! intOption = toOptObj "negotiated_payment_terms" Int32.FromJson x let! negotiatedPaymentTerms = tryCreateNegotiatedPaymentTermsOption intOption return { cpc_id = cpc_id process_id = process_id process_name = process_name country = country currency = currency employee_email = employee_email employee_name = employee_name client_id = client_id client_name = client_name process_type = process_type negotiated_payment_terms = negotiatedPaymentTerms } } На вот, рефактори такое. Для каждого ебаного типа

я попытаюсь пропихнуть его. Там же нет нужды в этих ебучих static member FromJson?

let readJson (x: Json) : Result<Delta, _> = checkResults() { let! cpc_id = x |> toOptStrSan "cpc_id" let! process_id = x |> toOptStrSan "process_id" let! process_name = x |> toOptStrSan "process_name" let! country = x |> toOptObj "country" Country.FromJson let! currency = x |> toOptObj "currency" Currency.FromJson let! employee_email = x |> toOptObj "employee_email" Email.FromJson let! employee_name = x |> toOptStrSan "employee_name" let! client_id = x |> toOptStrSan "client_id" let! client_name = x |> toOptStrSan "client_name" let! process_type = x |> toOptObj "process_type" ProcessType.FromJson let! intOption = toOptObj "negotiated_payment_terms" Int32.FromJson x let! negotiatedPaymentTerms = tryCreateNegotiatedPaymentTermsOption intOption return { cpc_id = cpc_id process_id = process_id process_name = process_name country = country currency = currency employee_email = employee_email employee_name = employee_name client_id = client_id client_name = client_name process_type = process_type negotiated_payment_terms = negotiatedPaymentTerms } } На вот, рефактори такое. Для каждого ебаного типа

я попытаюсь пропихнуть его. Там же нет нужды в этих ебучих static member FromJson?

Кстати, а ваш любитель хаскеля на самом хаскеле вообще писал?

вроде да. Но не в продакшн

Чувак постоянно жалуется, что система типов фшарп слишком слаба и как ему не хватает тайпклассов

Ну вот этого бойлерплейта не было бы.

я боюсь, что наличие тайпклассов позволило бы этому безумию прогрессировать дольше

Его бы просто не было бы, т.к. был бы везде deriving инстансов для ToJson, FromJson

но реализацию этих методов же пришлось бы так же писать, не?

от такого бойлерплейта надо не тайпклассами избавляться, а здравым умом, имхо

А нельзя просто заюзать новый JSON парсер из .net кора? Он вроде и на рефлексии, но супер бытсрый.

А нельзя просто заюзать новый JSON парсер из .net кора? Он вроде и на рефлексии, но супер бытсрый.

как, если хирон заставляет тебя руками сериализовывать?

НЕТ

почему

Это уже зависит от конкретного языка, но общая идея в том, что есть какой-то механизм в языке, который позволяет подобное организовать. (В расте или иногда в скале - это макросы или TLP, в хаскеле - Generic и т.д.)

а, типа то, что дотнете делается через рефлекшн, там хуячат с помощью этих макросов и прочего, да?

а, типа то, что дотнете делается через рефлекшн, там хуячат с помощью этих макросов и прочего, да?

ну мы собираемся выкинуть хирон. Но этот чел заикался про Fleece

С кастомными именованиями (не совпадающими с названиями в структуре) полей тут по разному бывает, но в любом языке можно такое поддержать. (может потребоваться TLP или макросы, да)