Я поискал такой файл в FSharp.Data и не нашёл.

Наверное, реализация в другом файле?

Я думаю, FSharp.Data писали до StarterPack.

Наверное, реализация в другом файле?

Не. Реализация ставится из пакета, поэтому её не закоммитили, вот и всё.

Не. Реализация ставится из пакета, поэтому её не закоммитили, вот и всё.

Ваши доказательства?

Ваши доказательства?

https://github.com/fsharp/FSharp.Data/blob/9d1fb58aa1dfc51e8b4649c7eb4c0f612b9bc559/src/FSharp.Data.DesignTime.fsproj#L57

Ребят, а, может, там проблемы деплоймента? Типа больше 1 DLL нельзя в тайп-провайдер добавлять, и из-за этого приходится весь код тащить с собой?

Ну хотя бы не сейчас, а раньше были, например.

https://github.com/fsprojects/FSharp.TypeProviders.SDK/pull/132

sc

https://github.com/fsprojects/FSharp.TypeProviders.SDK/pull/132

Похоже, как я и подозревал, там вообще какие-то мутные проблемы, далёкие от простого сохранения сборок.

Но всё же дождёмся ответа от остальных. Может быть, наша проблема тоже существует.

Ну хотя бы не сейчас, а раньше были, например.

Спроси :)

@fvnever а ты пытался адаптировать на конкретном провайдере?

Или просто свою сборку сгенерировать

@fvnever а ты пытался адаптировать на конкретном провайдере?

Нет, не пытался. Пока ждём, не вижу смысла дёргаться.

Полноценная адаптация — это большая работа.

В смысле, надо будет написать хороший код для перевода массива инструкций из Mono.Reflection в Mono.Cecil.

Взять готовый провайдер и попробовать dnlib

Не?

Что пробовать-то?

Загрузить модуль и сохранить

Начнём с того, что провайдер у тебя просто не скомпилируется под Core.

Начнём с того, что провайдер у тебя просто не скомпилируется под Core.

Почему?

Потому что нет AssemblyBuilderAccess.Save

Потому что нет AssemblyBuilderAccess.Save

Заменить его на dnlib

Во-вторых, dnlib вообще не подошёл — не умеет работать с reflection-only сборками. Я пробовал и получил исключение.

Загружать туда модуль, а потом сохранять

Если это единственная проблема

Заменить его на dnlib

Что заменить, весь ProvidedTypes.fs?

Ты видел сколько там кода?

Что заменить, весь ProvidedTypes.fs?

Нет. Конкретно место где Save вызывается

Во-вторых, dnlib вообще не подошёл — не умеет работать с reflection-only сборками. Я пробовал и получил исключение.

↑

dnlib фейлится. Unhandled Exception: System.InvalidOperationException: Module RefEmit_InMemoryManifestModule has no HINSTANCE

↑

Во-вторых, dnlib вообще не подошёл — не умеет работать с reflection-only сборками. Я пробовал и получил исключение.

А ты нашёл этому подтверждение?

↑

↑

Что такое HINSTANCE?

Просто посмотреть, мб получится его починить

В душе не знаю :) Какой-то хендл.

Не получится.

Оно хочет найти у DLL'ки хендл, который, видимо, генерируется в обычном дотнете (по крайней мере, для Save должен — я так думаю).

В коре хендл не генерируется.

https://github.com/0xd4d/dnlib/issues/19

Это видел?

Нет, не видел.

Не уверен, что это нам поможет

Кажись, это примерно то же, что Mono.Reflection. Поможет, но частично.

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

И оно заработает

Посмотрите, о чем твитнул(а) @AntyaDev: https://twitter.com/AntyaDev/status/916302839974125568?s=09

Что такое HINSTANCE?

Виндовс специфичный объект-указатель на ресурс. Там скорее всего проблема в том , чтобы отвязать работу с длл от винапи

Виндовс специфичный объект-указатель на ресурс. Там скорее всего проблема в том , чтобы отвязать работу с длл от винапи

Нету такой проблемы. Вернее, есть, но не совсем.

Код такой: IntPtr addr = Marshal.GetHINSTANCE(mod); if (addr == new IntPtr(-1)) throw new InvalidOperationException(string.Format("Module {0} has no HINSTANCE", mod));

В .Net Core компилируется, в .Net Standard 2 - нет

Это скорее хак. Авторы dnlib заложились на тот факт, что рантайм генерирует настоящую DLL в памяти для тех случаев, когда ты говоришь AssemblyBuilderAccess.Save.

И они эту DLL из памяти вытаскивают и анализируют.

@fvnever а если выпилить эту проверку?

Дальше идёт работа с addr.

аа, вижу

Я в первую очередь слазил в код и примерно посмотрел, что там как :)

В общем, эта тема просто под кором не будет работать. И под обычным дотнетом в аналогичном сценарии (AssemblyBuilderAccess.Run) тоже не работала.

Странно, GetHINSTANCE есть в .Net Core

Но нет в .Net Standard

Ничего странного же. Решили не публиковать настолько платформозависимую функцию в кроссплатформенном стандарте, молодцы.

А в коре решили всё равно реализовать ?

А в коре решили всё равно реализовать ?

Это и странно

Зато, например, в Xamarin или UWP этой функции может не быть, и они всё равно останутся compliant.

И там не заработает?

Не заработает, конечно. А оно нам надо? Вроде бы нет.

Чтобы генерировать сборку надо :)

Не надо же.

У нас компилятор не хостится ни в каком Xamarin'е или UWP.

А, точно. Оно только компилятору надо

Посмотрите, о чем твитнул(а) @AntyaDev: https://twitter.com/AntyaDev/status/916302839974125568?s=09

А мне нравится ходить на простые .NET митапы. Приходишь и чувствуешь превосходство над этими c#-ооп’ешниками ? (Кстати, автор твита же ?on⛰)

https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/src/ProvidedTypes.fs#L2778 Я так понимаю это типа валидация, что сборка корректная?

https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/src/ProvidedTypes.fs#L2778 Я так понимаю это типа валидация, что сборка корректная?

Хм, хороший вопрос. Ну, никакого другого эффекта от этого кода я не вижу. Байты к этому моменту уже прочитаны.

Хотя не нравится мне этот код.

Комментируйте код, господа

Он же загружает сборку в контекст, и её больше никто не выгрузит.

Комментируйте код, господа

Как минимум такое вот нестандартное использование методов обязательно нужно комментировать! // validate assembly correctness

А я попробую спросить в Slack.

В каком канале?

Нашёл :)

В который ты зашёл :)

Похоже да, для проверки

А нет, ошибочка

Привет!

Привет!

привет

привет

Пишешь на F#?

Народ, где можно почитать про монад-трансформеры для чайников?

Народ, где можно почитать про монад-трансформеры для чайников?

Если хаскель сойдет в качестве языка примеров, то есть такой пейпер - "All about monads", там хорошо описано

Примеры там в целом доходчивые, так что всяко стоит взглянуть

Спасибо

@fvnever https://github.com/fsprojects/FSharp.TypeProviders.SDK/pull/133