Да, точно

В .fsi я там понимаю можно прописывать сигнатуры, чтобы не мусорить ими в обычном коде

Для тех кейсов, когда не удаётся автоматически это сделать

Где?

Давай смотреть в https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/src/ProvidedTypes.fsi

Вот, смотрите, там уже всё, что можно запровайдить, описано: есть всякие ProvidedTypeDefinition, ProvidedConstructor, ProvidedParameter etc.

В основном объявления. И квотейшны в большом количестве

Я просто пока сходу не понимаю, как мы это будем переписывать

Я вообще не понимаю, что ты хочешь

https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/src/ProvidedTypesContext.fs

Этот файл вроде ближе к истине

Фридрих, надо раскурить ilwriter

https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/src/AssemblyReader.fs

А это вообще мякотка

Этот файл вроде ближе к истине

Вот это мне вообще непонятно. У нас что, два API для провайдеров?

Одно

По идее

https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/src/AssemblyReader.fs

йопт

Там же внутри рефлексия как раз

Зачем нам сильно патчить провайдер, если мы можем после того, как сгенерирована будет Assembly через рефлексию достать всю инфу, и скормить ilwriter'у?

Зачем нам сильно патчить провайдер, если мы можем после того, как сгенерирована будет Assembly через рефлексию достать всю инфу, и скормить ilwriter'у?

Ок, звучит хорошо, дай подумаю.

Алло, я так и делаю вообще-то

Спокуха, я запутался :) Щас распутаюсь.

https://github.com/Dolfik1/AssemblyGenerator/blob/master/src/AssemblyGenerator/AssemblyGenerator.cs#L43

Я знаю, что ты так делаешь.

Собственно, я примерно это и предлагал с самого начала.

Ок — наверное, так можно сделать.

В таком случае, нас не интересует внутренняя кухня тайп провайдеров

У нас цель сделать конвертер System.Assembly -> .dll

То есть мы берём твой код, ретаргетируем его на ILWriter и запихиваем прямо в TP SDK.

А дальше всё продолжает работать как есть.

Придётся писать свой велосипед

И переводить на F#

Первый раз чтоли?

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

Чтобы убедиться, что схема рабочая

Хм.

А тебе там много ешо допиливать?

Нет поддержки генериков, событий

Это из того, что я знаю

Плюс надо разобраться с ошибками peverify

Ну я ещё нашёл ilverify, он вроде получше (не тестил)

Я боюсь просто, что мы воткнёмся в какие-то особенности Run only сборок

Это самые большие опасения с самого начала

Ну чо, давай я тогда примерно попробую описать план для Дона.

Ну ты хоть согласен со мной? :D

Да, я с тобой согласен.

Привет!

Вот это мне вообще непонятно. У нас что, два API для провайдеров?

Два.

Привет!

день добрый)

https://github.com/Microsoft/visualfsharp/issues/2406#issuecomment-335171430

Для тех кто из Беларуси https://fby.by/ . По F# ничего пока не анонсировано, но думаю для развития будет интересно сходить.

https://github.com/Microsoft/visualfsharp/issues/2406#issuecomment-335171430

?

Я бы предложил все же взять AssemblyReader

Я бы предложил все же взять AssemblyReader

Он не то делает!

И с выхода передавать в ILWriter

А хотя...

Берет и читает ассемблю как массив байт

https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/src/AssemblyReaderReflection.fs#L4-L7

Не, оно всё-таки не то делает.

https://github.com/pandaman64/dnass/blob/master/source/app.d

Загуглил

Я бы предложил все же взять AssemblyReader

Смотри, у нас задача-то наоборот: есть Assembly (её сгенерировал Type Provider в памяти), а нам нужны байтики.

Кстати

А в каком виде у вас ассембля в памяти лежит?

AssemblyReader делает обратное преобразование: и байтиков... э, куда-то в абстрактный рефлешкноподобный формат.

А в каком виде у вас ассембля в памяти лежит?

Всмысле?

А в каком виде у вас ассембля в памяти лежит?

System.Assembly — как рантайму в голову взбредёт, кажется.

Ну смотри

В теории она загружается в текущий AppDomain

Хотя вру

Это в рантайме

А мы тут о компиляции

В теории она загружается в текущий AppDomain

Она создаётся в текущем AppDomain, ок. Что дальше?

Короче, по идее правильным подходом было бы что-то вроде T4

Короче, по идее правильным подходом было бы что-то вроде T4

Ну только T4, настраиваемый в рантайме.

Э, ну, в рантайме компиляции %)

Это бы позволило снять некоторые проблемы

Она создаётся в текущем AppDomain, ок. Что дальше?

Мы всегда можем сделать Assembly.GetAssembly по идее

Из текущего домена

Для чего? У нас уже есть System.Assembly, прям в руках держим.

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

Просто .fs файлик

Может быть, так даже лучше было бы?

Для чего? У нас уже есть System.Assembly, прям в руках держим.

Но проблема, как я понимаю, что у нас нет Save

Но проблема, как я понимаю, что у нас нет Save

Именно так.

Может быть, так даже лучше было бы?

Может быть

Мне вот не понятно, как работают Generative провайдеры

Как работает автодополнение там

Мне вот не понятно, как работают Generative провайдеры

Но мы их уже третий день изучаем!

Если сборка не генерируется

Тьфу

Erased*

А, ок, этого я тоже пока не знаю.

В Erased до этапа компиляции все как бы есть

Никто не знает :)

Может они и генерят файлы? .fs?

По идее, там должны генерироваться какие-то псевдотипы (а-ля «макросы»), которые компилятор заменяет чем-то в компилтайме.

Может они и генерят файлы? .fs?

Хотя нет, не может быть, тогда бы не нужны были Generative

Может они и генерят файлы? .fs?

Не, это бы дало настоящие типы. Там сложнее