Я ещё не разобрался как это в шарпе работает. На мою руками сгенерированную сборку, peverify ругается, что неверный возвращаемый тип у точки входа

Любое консольное приложение возвращает чиселку, неважно, на чём написано. Или нет?

Вообще, в с++ у main сигнатура должна инт возвращать

Поэтому и в f# все ок

Любое консольное приложение возвращает чиселку, неважно, на чём написано. Или нет?

В C# может возвращать void

В c# просто сделали сахар

Он скорее всего в компиляторе на void 0 возвращает для entry point

Он скорее всего в компиляторе на void 0 возвращает для entry point

Нет, там магия в чём-то другом

Ну как в другом

Он скорее всего в компиляторе на void 0 возвращает для entry point

а если в IL посмотреть?

Я могу предположить, что для EntryPoint в таком случае генерируется отдельный метод с сигнатурой int, который прописывается как EntryPoint, и внутри вызывает Main. Но тогда при загрузке сборки, что вернёт свойство EntryPoint?

https://stackoverflow.com/questions/2364117/why-does-c-sharp-use-implicit-void-main

Нам для вызова точки входа все равно нужен int main

как ни крути

Я так и не увидел конкретики

Конкретика тут скорее в контексте вызова из неуправляемого кода

Я думаю, это от особенностей запуска процессов в нативном коде идет

Мы всегда должны возвращать число

В общем я так и не понял. Сейчас посмотрел, в EntryPoint указана явно функция, возвращающая Void

Но у меня peverify ругается на такое

Nikolay @fvnever Дон ответил. :)

Довольно лаконично.

@Dolfik, если уж ты уже начал с этим возиться, можешь глянуть компиляторный API в https://github.com/Microsoft/visualfsharp/tree/master/src/absil?

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

@Dolfik, если уж ты уже начал с этим возиться, можешь глянуть компиляторный API в https://github.com/Microsoft/visualfsharp/tree/master/src/absil?

Я заглянул, мне страшно стало

Боюсь, что оно меня сожрёт

Похоже, что нам весь ProvidedTypes.fs придётся переписывать на этих API.

А это три тыщи строк мутного кода.

Я не уверен, что там есть то, что нам нужно

К тому же похоже, что они сильно завязаны на рефлекшен.

Я не уверен, что там есть то, что нам нужно

В том-то и дело, что напрямую обозначенные проблемы не решаются этим absil.

Можно легко определить, умеет ли эта штука генерировать сборки

https://github.com/Microsoft/visualfsharp/blob/master/src/absil/ilwrite.fsi#L33

Вот это долнжо быть где-то в коде

Судя по интерфейсу — умеет :)

https://github.com/Microsoft/visualfsharp/blob/master/src/absil/ilwrite.fsi#L33

Это мб просто IL

Нам же ещё нужно метадату писать, меня это волнует

IL получить это вообще не проблема

Метадата нужна для автодополнения

Ну и вообще для многих штук

Сборки устроены так, что без метаданных не будут работать. В сборках IL код идёт одной простынёй, а в Method Definition указывается смещение, по которому лежит IL код данного метода

Мне пришлось, короче, очень сильно напрячь мозги, но я нашёл.

Мне пришлось, короче, очень сильно напрячь мозги, но я нашёл.

М?

https://github.com/Microsoft/visualfsharp/blob/81d162ce55bd4c4c8bcd1eb2a0832c442888ec0e/src/absil/ilwrite.fs#L3869

write (Some msdosHeaderChunk.addr) os "msdos header" msdosHeader

Да, оно

Может быть, мне не поверят, но 0x4550 — это действительно "PE" :)

Но код там совершенно хтонический, конечно.

Дон над нами издевается :)

https://github.com/Microsoft/visualfsharp/blob/81d162ce55bd4c4c8bcd1eb2a0832c442888ec0e/src/absil/ilwrite.fs#L3536

Вот он!

Ну для того, чтобы в этом коде разобраться, надо еще разобраться в структуре PE заголовков и файлов

Ну и почитать спеки по поводу того, как .net сборки сохраняются

Это сильно надо упороться

Сильно, кто ж спорит

Это сильно надо упороться

Мне казалось, ты уже ._.

Он только начал

Уже разобрался, в смысле ?

Я упоролся используя "готовый" System.Reflection.Metadata

Ну, у меня начали появляться магические константы в коде

А это - путь к безумию

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

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

Ладно, надо думать, что делать дальше.

Брать на неделю отпуск, распечатывать ECMA-335, принимать LSD, и писать код.

Погоди ты с кодом!

Сначала нужен план™.

В идеале хотелось бы хотя бы в общих чертах его согласовать с основной командой разработки F#. Чтобы, в случае, если у нас чего-то получится дельное, это не было бы пустой работой.

Нужно изучить этого демона, ilwrite

Ну, например, план может быть таким: - мы вытаскиваем этот ILWriter из F#-компилятора в отдельную либу - (частично) переводим ProvidedTypes.fs на API этого райтера - показываем результаты Дону и спрашиваем — то или не то

Впринципе можно на нём писать, но один я не справлюсь

Фридрих, я думаю это слишком низкоуровневое

С другой стороны, мы можем подглядывать в System.Reflection.Metadata

Но тогда будем изобретать велосипед

Ваще код прикольный, конечно, там

Блин, надо у Дона уточнять план. Браться нам за эту задачу или нет?

Но, если я начну второй раз писать то же самое, это будет тупо!

Да и я многословно пишу, так что меня, кажется, никто полностью не читает :(

Да сделайте вы нормальные типы под структуру файла

Для начала

Кажись, под это как раз есть типы.

Блин, надо у Дона уточнять план. Браться нам за эту задачу или нет?

Пока план такой https://github.com/Microsoft/visualfsharp/milestone/11 xD

Пока план такой https://github.com/Microsoft/visualfsharp/milestone/11 xD

Может, просто он сам хотел взяться

Соврал. https://github.com/Microsoft/visualfsharp/issues?q=is%3Aopen+is%3Aissue+label%3AArea-TypeProviders

Дон сейчас много пилит именно в провайдерах.

Да и я многословно пишу, так что меня, кажется, никто полностью не читает :(

Наоборот, норм

Кажись, под это как раз есть типы.

Где?

@nevoroman жаль отрывать тебя, но не можешь немножко нас проконсультировать по кишкам провайдеров, если будет минутка?

Слушайте, а я понял, зачем нужны .fsi-файлы!

Чтобы не компилить?

Ура, до него дошло! :D

в дллки?

Когда ты пишешь в .fs по пять тыщ строк, интерфейс действительно становится удобно смотреть в отдельном файле ?

А, ты про fsx

Чтобы не компилить?

Ты перепутал .fsi и .fsx

Я всё правильно сказал, а ты перепутал.

Скрипты — это .fsx. Интерфейсы модулей — это .fsi.