Vasily

И вложенных нет

Ayrat

они просто в жсоне описаны

Vasily

Я специально уточнил

Vasily

{Type:string;Props:Property seq}

Ayrat

Если так, то JToken.Parse это и делает

Ayrat

не надо ничего более)

Vasily

Я вот пытаюсь добиться, так это или нет

Ayrat

разбивает json на jtoken - JArray, JObject, JValue

Vasily

Ответа пока не получил

Vasily

В целом, если есть JToken

Vasily

МОжно вообще ничего не городить, а написать кастомный сериализатор

Vasily

Просто задача в такой постановке вообще неясна

Ayrat

Я думаю нам хотели продать какой хаскель офигенный, а мы не поняли

Vasily

Возможно

Vasily

Но со мной лучше напрямую, я намеков не понимаю

Ayrat

я вот тоже

Ayrat

лучше б сразу сказал как решается, а то я тут уже IL собрался эмитить

Ayrat

кстати, хз чо не подходит через рефлексию типов накидать в аппдомен по приходящей метадате

Ayrat

даже можно тип инферить из JValue

Ayrat

и имя проперти из JProperty

Ayrat

короче красота будет

Vasily

В общем, типичное неясное послание

Igor

Я думаю нам хотели продать какой хаскель офигенный, а мы не поняли

Вообще я хотел понять как в хаскеле: 1) сохранить коллекцию разных типов 2) писать тайп-класс для конструкторов DU (чую что это невозможно)

Vasily

Ишь какой

Vasily

При смене формата хранения данных все встанет на свои места

Igor

К F# вопрос вообще не относился (да и json был только для примера источника коллекции разных типов)

Vasily

Я решал похожую задачу

Vasily

Чтения кастомных типов из бинарного потока

Vasily

Там есть вариант с partial apply

Vasily

Вопрос в том, есть ли в хаскеле билдеры :)

Dr. Friedrich

Вообще я хотел понять как в хаскеле: 1) сохранить коллекцию разных типов 2) писать тайп-класс для конструкторов DU (чую что это невозможно)

1) там есть type erasure и какая-то динамическая типизация к нему (вот внезапно, да)

Dr. Friedrich

Тип ты делаешь генерик конструктор для негенерик типа

Dr. Friedrich

Но у нас-то в F# есть IL и кодеген, с этой точки зрения задача выглядит интересно :)

Romɑn

Но у нас-то в F# есть IL и кодеген, с этой точки зрения задача выглядит интересно :)

Ну ок, сделаешь ты тип в рантайме, а куда потом его применишь?

Dr. Friedrich

Ну ок, сделаешь ты тип в рантайме, а куда потом его применишь?

А какая логика была нужна вопрошающему товарищу? К этой логике и применишь.

Dr. Friedrich

Понятно, что у тебя не будет настоящего кода, в котором ты используешь свой тип. Но ты можешь генерировать методы-конверсии в строку на основании чего угодно, поступающего снаружи. Хоть кастомный DSL изобрети в текстовом формате, хоть что угодно ещё.

Romɑn

Я тут подумал, а типы созданные через генерацию il отнаследованы от object?

Romɑn

Мб конечно джунский вопрос

Vasily

Все типы унаследованы от обжект

Romɑn

Все типы унаследованы от обжект

да, по идее

Vladislav

Я тут подумал, а типы созданные через генерацию il отнаследованы от object?

Да

Dr. Friedrich

Я тут подумал, а типы созданные через генерацию il отнаследованы от object?

Да, конечно. От обжекта в текущем контексте загрузки классов.

Ayrat

Помните я жаловался на то что гитхаб подхватыет левую аватару мою, которую он никак без майкрософт интеграции бы не подхватил (да и с ней непонятно как узнал) вот, мне не причудилось https://avatars3.