Кодстайл еще и т.д.

Ну лично мне было бы интересно в т.ч. как это ложится на CI etc

Ну вот в том и штука, что лично тебе. Пока аудитории маловато. Но я могу попробовать сделать такое на уровне митапа!

митапчик мона замутить, да

Ну вот. В рамках spb и msk .NET - могу сделать к зиме, сейчас еще на .NEXT готовить доклад про провайдеры (мы его тут тоже демократическим обсуждением выбирали)

А вообще, если у кого-то здесь есть, что рассказать об этом - вы пишите мне! Сведу с организаторами, поможем подготовить доклад и митап организуем :)

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

В продакшне такое не покатит

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

Да. У меня просто скоуп специфичный, потому и использую их постоянно.

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

В спеке F# есть описание всех методов провайдеров, внезапно.

Но я не уверен, что там всё чисто :(

В спеке F# есть описание всех методов провайдеров, внезапно.

Там не все чисто

Так и не нашёл времени раскурить, что же там описано — толи это методы самого компилятора, толи этой магической портяночной копипасты ProvidedTypes.fs

Скорее портяночной копипасты

Приезжай на дотнекст слушать доклад, хехе :D

Мне упорно кажется, что, если эту портянку переписать, то можно будет гонять провайдеры под Mono.Cecil или любой другой нормальной библиотекой генерации байткода

Приезжай на дотнекст слушать доклад, хехе :D

А там прям про потроха будет?

А там прям про потроха будет?

Ты приезжай, расскажешь про потроха .Net :)

А там прям про потроха будет?

Ага. Я попытаюсь завернуть это в культурные понятные слова, но будет обзор потрохов

В это очень сложно поверить :( 1. Сомневаюсь, что кто-то из ныне живущих это вообще понимает (я спрашивал в Slack F# и никто сходу не вспомнил) 2. Вряд ли это много кому интересно. Если потенциальные пользователи тайп-провайдеров — это в общем-то все программисты на F#, то их потенциальные авторы — это один процент от всех программистов на F# (которые хорошо если составят 1% от всех программистов под .NET)

Ага. Я попытаюсь завернуть это в культурные понятные слова, но будет обзор потрохов

Ну хорошо, ждёмс :)

Ты приезжай, расскажешь про потроха .Net :)

Да я ж ничего про потроха-то и не знаю. Так, слов умных нахватался, и всё.

В это очень сложно поверить :( 1. Сомневаюсь, что кто-то из ныне живущих это вообще понимает (я спрашивал в Slack F# и никто сходу не вспомнил) 2. Вряд ли это много кому интересно. Если потенциальные пользователи тайп-провайдеров — это в общем-то все программисты на F#, то их потенциальные авторы — это один процент от всех программистов на F# (которые хорошо если составят 1% от всех программистов под .NET)

Это нормально. Гольдштейн из года в год рассказывает узкоспециализированные штуки, которые мало кто понимает - и заходит!

Гольдштейна всегда слушаю с удовольствием, да.

Мне упорно кажется, что, если эту портянку переписать, то можно будет гонять провайдеры под Mono.Cecil или любой другой нормальной библиотекой генерации байткода

Кажется, @7sharp9 недавно предпринимал попытки переписать портянку на чем-то, что работает про .NET Core в том числе. Но это сложно.

А так - будем ползать по коду провайдеров, исследовать магию и разбираться, как такие штуки имплиментить.

Кажется, @7sharp9 недавно предпринимал попытки переписать портянку на чем-то, что работает про .NET Core в том числе. Но это сложно.

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

Гольдштейна всегда слушаю с удовольствием, да.

Гольдштейн хорош, да! Но скажем прямо, то, о чем он рассказывает, тоже мало кто юзает. Просто послушать интересно

Кажется, @7sharp9 недавно предпринимал попытки переписать портянку на чем-то, что работает про .NET Core в том числе. Но это сложно.

«На улице детей увидишь, Кавайных кошек и собак, И хочется их как-то лайкнуть. Но как?»

В смысле, давай пруфы, я б даже поконтрибьютил с удовольствием. Или хотя б моральную поддержку выразил :)

В смысле, давай пруфы, я б даже поконтрибьютил с удовольствием. Или хотя б моральную поддержку выразил :)

Все, что произошло в слаке, останется в слаке.

Кажется, это не зашло дальше экспериментов на локальной машине. :)

Кажется, это не зашло дальше экспериментов на локальной машине. :)

Когда у меня будет следующая кучка свободного времени, я попробую с этим разобраться, короче.

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

Когда у меня будет следующая кучка свободного времени, я попробую с этим разобраться, короче.

Да, я скорее к тому, что в слаке есть, у кого спросить.

Мне вот кажется, что народ массово упускает там какие-то нюансы, и из-за этого Дону кажется, что это нереальная задача (портировать на Core).

А на самом деле это вполне решаемо. Я надеюсь.

Вы про Generative сейчас, да?

Да.

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

Мне вот кажется, что народ массово упускает там какие-то нюансы, и из-за этого Дону кажется, что это нереальная задача (портировать на Core).

Кажется, там те же проблемы, что у @impworks с LENS и .NET Core. Не хватает каких-то API для кодогенерации. :)

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

Давно, кажется.

Давно, кажется.

Это вроде было до 2.0, и относилось к erased, не?

Это вроде было до 2.0, и относилось к erased, не?

Нет.

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

Все просто говорят, но без конкретики. Мне кажется, что глубоко никто не разбирался, кроме 7sharp9.

Кажется, там те же проблемы, что у @impworks с LENS и .NET Core. Не хватает каких-то API для кодогенерации. :)

LENS мы можем переписать на Mono.Cecil или любом подобном механизме (и, похоже, мы этим будем заниматься рано или поздно). @impworks изучал вопрос и пришёл к выводу, что там просто нельзя сохранять сборки (я не уверен, что это убивает идею провайдеров). Вопрос в том, можем мы или не можем переписать ProvidedTypes.fs, и можем мы или нет переписать соответствующую часть компилятора, которая потребляет провайдеры типов. И нужно ли это делать.

Дон, конечно, говорит, что перекомпиляция провайдеров — не вариант, но я не уверен, что это такая уж плохоая идея. Надо подробно изучить вопрос и тогда уже всерьёз планировать реализацию.

Если у кого-то прямо сейчас есть на это время — я был бы готов оказать всемерную поддержку. Сам планирую до конца этого года выделить время и поразбираться.

@fvnever Ну, как бы. https://github.com/dotnet/coreclr/issues/1709

Если у кого-то прямо сейчас есть на это время — я был бы готов оказать всемерную поддержку. Сам планирую до конца этого года выделить время и поразбираться.

Я могу попробовать вечером или на выходных, если время будет

Да, я пока не нашел ничего более серьезного, чем невозможность сохранить сборку

Я могу попробовать вечером или на выходных, если время будет

Ну, если соберёшься — пиши в чат или приватно. Закидаем эту проблему шапками!

На самом деле для LENS и это не критично - сохранение нужно по большому счету для отладки компилятора, чтобы посмотреть сборку в ILSpy

Ну, если соберёшься — пиши в чат или приватно. Закидаем эту проблему шапками!

ОК

Но я особо глубоко не копал. Подозреваю, могут вылезти неприятные штуки

На самом деле для LENS и это не критично - сохранение нужно по большому счету для отладки компилятора, чтобы посмотреть сборку в ILSpy

У меня есть планы на все эти компиляторные API, так что я бы хотел исследовать полноценные опции сразу.

В смысле, у нас очень большие проблемы сразу во всех компиляторных проектах (LENS, Naggum, PascalABC.NET, F#), и у всех этих проблем ноги растут из одного и того же места. Хочется исправить их все и сразу, ударить в самое сердце.

@fvnever Я бы начал с конкретного вопроса в каком-нибудь существующем ишшуе.

Если я правильно понимаю, то проблема только в кодогенерции. Ну, у нас работают erased провайдеры, значит, с квотейшенами и рефлексией (не Emit) все должно быть хорошо в .NET Core.

@fvnever Я бы начал с конкретного вопроса в каком-нибудь существующем ишшуе.

У меня план такой: 1. Разобраться, как разрабатывают тайп-провайдеры — как с включением «портяночного» кода, так и без его включения: какие API для этого есть у компилятора, как он нас вызывает, что он предоставляет нам и что мы предоставляем ему. Написать свой тайп-провайдер, само собой. В частности я припоминаю, что на выход мы ему даём Assembly, и отсюда мне непонятно, какие у этого механизма вообще могут быть ограничения в принципе — казалось бы, не должно быть. 2. Исходя из этого изучить соответствующие места компиятора — что он требует на вход от провайдера, и что с этим вводом делает. 3. Уже тут должно стать понятно, какие у механизма слабые места, и как их можно починить. Только здесь у меня могут появиться конкретные вопросы. Тематика сложная, и времени на её исследование нужно посвятить много. Поэтому почти никто до сих пор никто как следует и не въехал, и поэтому у нас нет достаточно квалифицированных ресурсов, чтобы решить эту проблему.

По поводу сохранения сборок — я подумываю сделать какую-нибудь штуку, которая сохраняет их из памяти. Это не должно быть сложно вообще.

У нас есть все типы сборки, все их методы и доступ к IL-коду каждого метода. Это должно быть проще простого — сохранить её на диск.

У нас есть все типы сборки, все их методы и доступ к IL-коду каждого метода. Это должно быть проще простого — сохранить её на диск.

Почему этого до сих пор не сделали?

Если немножко поиграться с полифиллами — может, получится вообще сделать, чтоб это работало без изменений существующего кода (source, но не binary compatibility).

Почему этого до сих пор не сделали?

Верхи не хотят, низы не могут. Те, у кого есть знания, чтобы этим заняться, заняты более важными проблемами (почитай пост от jkotas вот тут, например: https://github.com/dotnet/corefx/issues/4491#issuecomment-189756092) А те, у кого есть на это время, не обладают нужными знаниями и не уверены, что это вообще возможно (раз уж люди из первой категории не смогли сделать — то нам и рыпаться не стоит, правильно?)

Я читал.

Просто не увидел там "проще простого".

Там про «более важные проблемы, которыми все заняты»

ERROR: S client not available

> It is not easy to just enable them for CoreCLR because of it would not work on Unix.

@impworks а ты проверял, работает ли Emit на Core? Может, он просто эксепшены там бросает?

Ну то есть понятно, что API есть, но можно ли их вызвать?

Вообще нет, не проверял. Но сейчас время есть, могу попробовать даже сегодня накидать простенький примерчик

А давай. Я вечером присоединюсь, может быть.

Надо что-то делать!

Кстати, я решил запаковать https://github.com/rspeele/TaskBuilder.fs в нугет. Сегодня вечером потестирую и кину автору PR.

Кто-нибудь знает rspeele? Куда ему лучше написать с вопросами? Или прямо в PR?

Кто-нибудь знает rspeele? Куда ему лучше написать с вопросами? Или прямо в PR?

Не знаю, кто это.

http://blog.ploeh.dk/2017/10/05/monoids-semigroups-and-friends/ Первый пошел

А теперь нечто совсем другое https://blog.xamarin.com/the-solar-system-with-arkit-and-f/

Ну, тут тоже относительно - сами понимаете, доклады про F# - это доклады на довольно узкую аудиторию

Если хайп поднять, то аудитория расширится)

Вы это, лучше имена называйте! Ну и темы можно, конечно, но относительно человека. Сайм - это да, это принял!

Мигель говорил о том, что он бы выбирал F# для разработки. Было б круто его притащить)

Мигель говорил о том, что он бы выбирал F# для разработки. Было б круто его притащить)

Мигель - это прикольно, но вряд ли он про F# все же будет рассказывать

Го Сайма убеждать, чтоб порядок файлов убрал!

Мигель - это прикольно, но вряд ли он про F# все же будет рассказывать

Я бы в любом случае его послушал бы)

Если хайп поднять, то аудитория расширится)

Ну, я в некоторой степени это и пытаюсь сделать. Но много докладов по F# нельзя просто с коммерческой точки зрения

Я бы в любом случае его послушал бы)

Да, идею принял, попробую его позвать на следующий дотнекст

Ну, я в некоторой степени это и пытаюсь сделать. Но много докладов по F# нельзя просто с коммерческой точки зрения

Уже на этом докладе много людей говорящих про функциональный подход. Пятая часть по моему.

Я что-то упустил и Скот реально хаскелист? https://youtu.be/gxIWhsJHXmM?t=27m11s

Я что-то упустил и Скот реально хаскелист? https://youtu.be/gxIWhsJHXmM?t=27m11s

Скалист же

https://github.com/rspeele/TaskBuilder.fs/pull/8

https://medium.com/javascript-scene/javascript-monads-made-simple-7856be57bfe8

http://www.kuznero.com/posts/nixos/fsharp-mono-nixos-gotchas.html

Класс, этот чувак решил поиочь запилить .NET Core в NixOS :)

Ого!

Вообще нет, не проверял. Но сейчас время есть, могу попробовать даже сегодня накидать простенький примерчик

В общем, я щас попробовал вот этот код адаптировать: http://www.c-sharpcorner.com/uploadfile/puranindia/reflection-and-reflection-emit-in-C-Sharp/ После установки пакета System.Reflection.Emit и замены Thread.GetDomain().DefineDynamicAssembly на AssemblyBuilder.DefineDynamicAssembly у меня получилось его запустить и выполнить на .NET Core 2.

AssemblyBuilderAccess в .NET Core действительно не включает в себя SaveAndRun. Там только варианты Run и RunAndCollect.

Друзья, кто-нибудь имел дело с Mono.Cecil? Мы туда сможем засунуть динамическую сборку?

Я хочу попробовать дешёвый способ сохранения сборок через процессинг их какой-нибудь готовой библиотекой.

Мда, смотрю на AssemblyBuilder и не понимаю, как хотя бы стрим вытащить

Или массив байт