В тайпшейпе?

Да.

Тайпшейп это просто нашлепка для более удобного рефлекшна

Он идет по типу в порядке записи свойств

А сам понимаешь, это немного ненадежно

Ок.

А какие проблемы, чтобы руками задавать маппинг?

Лень

Ну и подобного рода задачи я уже решал многократно

Хочется попробовать другой путь

В общем, хочется написать библиотеку общего вида, которая бы генерила сериализатор/десериализатор для заданного типа и выбранного формата

Например, NewtonSoft.Json использует внутреннее представление в виде JObject , из которого потом генерит класс/json

А сам понимаешь, это немного ненадежно

Это неочевидно.

Привет!

взаимно ;)

Это неочевидно.

Ну смотри. Программист взял и в результате рефакторинга поменял расположение пропертей в описании типа и привет

Ну смотри. Программист взял и в результате рефакторинга поменял расположение пропертей в описании типа и привет

Задай свой порядок.

Задай свой порядок.

Так, вот мы подходим к сути вопроса уже

Осталось понять, как

Осталось понять, как

Любой заданный порядок сгодится, разве нет?

И нужно сохранять его между версиями библиотеки.

Скорее библиотека должна предоставлять возможность задавать порядок

Скорее библиотека должна предоставлять возможность задавать порядок

Пусть генератор сериализатора параметризуется функцией, которая задает порядок.

Пусть генератор сериализатора параметризуется функцией, которая задает порядок.

Ну я себе это слабо представляю пока

Порядок свойств?

Порядок свойств?

Да.

т.е. список PropertyInfo, как я понимаю

У тебя благодаря рефлекшену есть информация о свойствах, нужно отсортировать каким-либо образом.

У тебя благодаря рефлекшену есть информация о свойствах, нужно отсортировать каким-либо образом.

Ну тут мы уже приходим к атрибутам

Ну тут мы уже приходим к атрибутам

Нет, почему?

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

Если тебе не нужно думать о расширении типов с сохранением возможности десериализовывать старые версии, то любой заданный порядок должен подойти.

Нужно дать возможность устанавливать порядок, я бы так сказал

Ок. Тебе нужен какой-то точный, заданный руками порядок свойств?

Тогда атрибуты.

Это же не проблема. :)

Ну вот тоже прихожу к этому выводу

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

А так атрибутиками классик разметил и вперед

Судя по тому, что я хочу, воможно, мне нужны HKT

Но это неточно

:)

Проще на атрибутах намутить, конечно

В FsPickler не парятся и сортируют свойства по имени. :)

Проще на атрибутах намутить, конечно

на чужие типы атрибуты не навесишь

Ну снаружи будет тип приезжать, уже с атрибутами по идее

Кстати, в f# можно навесить констрейнт, что тип numeric?

что это за тип и куда констрейнт?

Кстати, в f# можно навесить констрейнт, что тип numeric?

Нет.

что это за тип и куда констрейнт?

Ну хочется, например, написать функцию, которая сериализует только числовые значения по определенным правилам

перегрузи мемберы на нужные типы по нужным правилам

перегрузи мемберы на нужные типы по нужным правилам

Поконкретнее, если можно. Я тупой, до меня доходит долго

type Numeric() = static member Serialize(x : int, ...) = static member Serialize(x : double, ...) = static member Serialize(x : byte, ...) =

Хммм

type Numeric() = static member Serialize(x : int, ...) = static member Serialize(x : double, ...) = static member Serialize(x : byte, ...) =

Вот еще интересный вопрос, как быть с десериализацией с подобным подходом

https://github.com/ionide/ionide-vscode-fsharp/issues/770 а во нашел

Put the ;; on the next line when sending code to FSI when there's a comment пофикшено в ionide от 29.03

У Матиаса довольно неплохой доклад про CNTK и F#.

Уже можно похайпить и что-нибудь простенькое запилить.

https://github.com/mathias-brandewinder/CNTK.FSharp

https://twitter.com/StachuDotNet/status/982980312710950914

Доброе утро.

Доброе.

Ну хочется, например, написать функцию, которая сериализует только числовые значения по определенным правилам

Конкретнее задачу надо ставить или лучше описать абстракцию. Как вижу я: у вас есть класс (что конкретно не ясно, запись или нет), в нём есть типы значений и строки, значения будете писать в blob (важен порядок), а строки в json? То есть атрибут с порядком навешивается только на эти значения. Контруктор будет принимать как минимум 2 значения, если логика версии типа вынесена из него, это строка и byte[], которые оба будут парситься, json в строки, byte[] в значения. То есть вам нужна функция, которая будет возвращать нужный конструктор, который нужно будет применять к этому кортежу? Если важен порядок json, там похожая логика, но уже другой атрибут. Также, вы хотите, чтобы в зависимости от типа (свойства/поля?) там автоматически (на каком-то этапе) применялся один из соответствующих атрибутов, с указачением порядка и размером?

Есть объект.У него есть поля. Типы полей ограничены. Необходимо экземпляр объекта писать в бинарный поток по определенным правилам сериализации

Из нюансов - размер массивов задаётся разным количеством байт

Где-то слово, где-то два, где-то 4

Есть объект.У него есть поля. Типы полей ограничены. Необходимо экземпляр объекта писать в бинарный поток по определенным правилам сериализации

> Типы полей ограничены. Тут надо перечислять все ограничения.

Где-то слово, где-то два, где-то 4

Слово?

Машинное

8 байт

Где-то слово, где-то два, где-то 4

Это один тип данных? То есть один класс, но внутри него поля-сслыки на int[]?

Ну могут быть вложенные

Там довольно упоротый протокол

Ну могут быть вложенные

Так вам надо сериализовывать простые типы (можно запихнуть в кортеж byte[] и json) или сложные?

Часть данных ещё зипуется

а через sql тайппровайдеры можно создавать, например, sqlite базу?

или как это вообще делается?

Если под сложными ты имеешь в виду иерархию типов,то да

а через sql тайппровайдеры можно создавать, например, sqlite базу?

SQLite Базы делал ручками, но есть примеры, на метаните есть точно. https://metanit.com/sharp/wpf/19.1.php

Если под сложными ты имеешь в виду иерархию типов,то да

Вложенность сериализуется отдельно.

И тогда встаёт вопрос как и в каком виде вы хотите это хранить.

В коде в виде иерархии классов

В коде в виде иерархии классов

в каком виде сериализованные данные

В виде бинарного стрима же

Без сохранения информации о типе

В виде бинарного стрима же

Один или парой блобов?

SQLite Базы делал ручками, но есть примеры, на метаните есть точно. https://metanit.com/sharp/wpf/19.1.php

хочется в рантайме =\

хочется в рантайме =\

SqlCommand в помощь

хочется в рантайме =\

Говорю же, там где-то есть примеры.

а через sql тайппровайдеры можно создавать, например, sqlite базу?

Провайдеры работают или с готовой базой, или со схемой.

Один или парой блобов?

Ну есть защищённый нетворк стрим

т.е. по схеме можно сгенерить файлик?