Если внимательно посмотреть на ProvidedTypes.fs, то там квотейшны, да

Я в квотейшенах не очень

Но никто не знает, какую функцию они там выполняют!

Ими можно генерировать реальные типы?

Нет, это же всего лишь квотейшены.

Ну точнее типы, которые были бы видны автодополнением

Ок, чёрт его знает. Кажется, да?

Квотейшены не про типы.

Ну, все эти SQL- и XML-провайдеры же Erased, но они умеют генерировать типы.

Псевдотипы.

Грубо говоря, можем ли мы сделать имитацию string interpolation на квотейшинах?

Ааа, взрыв мозга

Ок, я не знаю, как ответить на этот вопрос. Самому интересно.

Можно в слаке задать вопрос

Кстати, коллеги. А Рослин под net core работает?

Там никто тоже ничо не знает ?

Кстати, коллеги. А Рослин под net core работает?

Ну да, конечно.

Можно в слаке задать вопрос

Какой вопрос?

Как работает автодополнение в Erased провайдерах

Ну да, конечно.

Хмммм

Как работает автодополнение в Erased провайдерах

А как оно работает в generative?

А как оно работает в generative?

В Generative генерируется сборка, и данные можно спокойно тащить из метадаты сборки

В erased скорее всего тоже генерится сборка

Но на компиляции типы убиваются

Надо смотреть на obj папку по идее

Но на компиляции типы убиваются

Зачем?

В Generative генерируется сборка, и данные можно спокойно тащить из метадаты сборки

Я думаю, что в erased тот же принцип. Учитывая, что для программиста написание generative и erased провайдеров не сильно отличается.

Чтобы проклятому C# не досталось? :)

Окей

А почему тогда Erased работают под кором, а Generative - нет?

Чтобы проклятому C# не досталось? :)

Erased позволяют "генерировать" более интересные штуки.

Какие-нибудь бесконечные типы.

Я так и не услышал ответа :)

Никакой IL для типов на самом деле в итоге не генерируется.

Я так и не услышал ответа :)

На какой вопрос?

Как работает автодополнение в Erased провайдерах

Как работает автодополнение в Erased провайдерах

Иди к Дону и спрашивай.

Здесь никто не знает.

Никакой IL для типов на самом деле в итоге не генерируется.

Я думаю, ты ошибаешься.

Бесполезные

Я думаю, ты ошибаешься.

OK

Я ничего не знаю.

В смысле, да, IL не генерируется, но и сборка тоже не генерируется.

Мне неинтересно.

Потому что, чтоб передать сборку компилятору, у нас только один способ: сформировать массив байтиков.

Очевидно, что в Erased этого не делается.

Бесполезные

?

Потому что, чтоб передать сборку компилятору, у нас только один способ: сформировать массив байтиков.

В теории есть еще один

В теории есть еще один

В теории я и больше могу придумать :)

Можно генерить исходник

И подсовывать его компилятору

Кто-то говорил, что это работает через Emit, и я бы придерживался этой версии

Но мне интересно, как тогда работает автодополнение

Давайте сэмплы посмотрим: https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/examples/ErasedWithConstructor.fsx

Вы смотрите, а я домой пошёл :)

Вы смотрите, а я домой пошёл :)

Svolotch

Ок, я сдаюсь, я ничего там не понял.

А там оч прикольно

Особенно тут : https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/src/ProvidedTypesContext.fs

интересный там трюк

По факту замена типов из одной сборки типами из другой

На компиляции

Условно, метаданные над метаданными

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

И вот это интересно : https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/src/ProvidedTypesContext.fs#L252

https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/src/ProvidedTypesContext.fs#L326-L330

Походу, там делается design-time сборка

Через которую идет intellisense

код в целом понятный, но нужно время, чтобы его изучить

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

Могу! А на тему? Я давно не читал чат :)

Могу! А на тему? Я давно не читал чат :)

Да мы вроде уже сами разобрались, спасибо :) Прикидываем, как законтрибьютить провайдеры на .NET Core.

Ну, нужна будет помощь - пишите. Проще в личку :)

Ага, спасибо :)

Господа. Раз уж я собралась замахнуться на перевод, у меня тут возник несколько глупый вопрос. По-английски я худо-бедно понимаю, но по-русски ничего не читала почти по F#. Я не знаю, какие есть устоявшиеся русские термины для разных понятий и фич (ну тот же Value Restriction я не знаю, как по-русски называют). Я могу попробовать сама это всё придумать, но тогда у тех, кто будет потом читать, вернее всего кровь пойдёт из глаз, а мне будет очень стыдно. Где всё это добро посмотреть? Может, есть хорошие переводы книг на русский (про глоссарий я чот боюсь спрашивать)?

Господа. Раз уж я собралась замахнуться на перевод, у меня тут возник несколько глупый вопрос. По-английски я худо-бедно понимаю, но по-русски ничего не читала почти по F#. Я не знаю, какие есть устоявшиеся русские термины для разных понятий и фич (ну тот же Value Restriction я не знаю, как по-русски называют). Я могу попробовать сама это всё придумать, но тогда у тех, кто будет потом читать, вернее всего кровь пойдёт из глаз, а мне будет очень стыдно. Где всё это добро посмотреть? Может, есть хорошие переводы книг на русский (про глоссарий я чот боюсь спрашивать)?

А ты у нас спрашивай

я тогда вам надоем :)

И вообще, я предлагал создать "справочник", но чёт не как-то не заладилось

видимо, придётся мне заняться в процессе

я тогда вам надоем :)

Всё равно не сможешь надоесть так, как я надоел Фридриху

Господа. Раз уж я собралась замахнуться на перевод, у меня тут возник несколько глупый вопрос. По-английски я худо-бедно понимаю, но по-русски ничего не читала почти по F#. Я не знаю, какие есть устоявшиеся русские термины для разных понятий и фич (ну тот же Value Restriction я не знаю, как по-русски называют). Я могу попробовать сама это всё придумать, но тогда у тех, кто будет потом читать, вернее всего кровь пойдёт из глаз, а мне будет очень стыдно. Где всё это добро посмотреть? Может, есть хорошие переводы книг на русский (про глоссарий я чот боюсь спрашивать)?

Я ориентируюсь на переведенную книгу Криса Смита "Программирование на F#".

Но, например, value restriction там нет.

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

есть подозрение, что для этого термина нет русского аналога

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

да, так и сделаю. По ходу будет может понятнее

Вики предлагает самое простое "ограничение на значения".

Можно на этой странице найти по "value restriction". https://ru.wikipedia.org/wiki/Параметрический_полиморфизм

В качестве оффтопа, примерно от этих же авторов есть статья про модули в ML. https://ru.wikipedia.org/wiki/Язык_модулей_ML

Мне очень нравятся обе статьи.

Отлично, спасибо!

первая ссылка у меня прямо аж открыта во вкладках, вот я невнимательная

@Dolfik о, Кевин заинтересовался нашими идеями :)

Опа, круто :)

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

Я, пожалуй, пойду спать, а завтра продолжим.

Господа. Раз уж я собралась замахнуться на перевод, у меня тут возник несколько глупый вопрос. По-английски я худо-бедно понимаю, но по-русски ничего не читала почти по F#. Я не знаю, какие есть устоявшиеся русские термины для разных понятий и фич (ну тот же Value Restriction я не знаю, как по-русски называют). Я могу попробовать сама это всё придумать, но тогда у тех, кто будет потом читать, вернее всего кровь пойдёт из глаз, а мне будет очень стыдно. Где всё это добро посмотреть? Может, есть хорошие переводы книг на русский (про глоссарий я чот боюсь спрашивать)?

имхо, понятия вроде Value Reflection лучше вообще оставлять на английском, потому что любой перевод лично меня конфьюзит - такими понятиями обычно оперировуешь на английском, а потом читаешь перевод статьи и думаешь "че за отражение? О чем речь вообще?"

Кстати, я, наверное, тоже могу попробовать че-нить перевести, только не знаю, че актуально и наиболее востребовано