Сдк провайдеров типов, в плане

Тутор по написанию своих провайдеров?

Тутор по написанию своих провайдеров?

Ага

Гм. Давай у @sergey_tihon спросим!

А нужен? :)

А сейчас есть тутор под нет кор и новый сдк где-то?

Сдк провайдеров типов, в плане

В смысле, если нужен - возможно, напишу

А сейчас есть тутор под нет кор и новый сдк где-то?

SDK прям сильно не поменялся, точнее поменялся а потом вернули так как было =) т.е. с точки зрения TP SDK изменения митинимальны. как и раньше два варианта, тибо все в одной сборке либо отделять disign time сборки. самый важный момент это подсказать где искать FSC используя fsc.props, и если собираетесь под моно и надо компилить под net45 то надо подсказывать где моно через netfx.props (это для всех проектов что компилятся в net45, не только ТР) есть изменения в том как паковать TP NuGet пакеты если делаем TP которые работает везде ну и .NET SDK 2.1.100 надо или выше, я бы брал .NET SDK 2.1.300 уже сразу все эти особенности достаточно хорошо описаны вот тут https://github.com/fsprojects/FSharp.TypeProviders.SDK

на самом деле, если делать просто ТР в одну сборку и код компилится под netstandard2.0 вроде как не должно быть особо проблем

@sergey_tihon Спасибо!

И доброе утро. :)

> Functional Data Structures (OCaml) https://cs.uwaterloo.ca/~plragde/flaneries/FDS/index.html

если будут более конкретные вопросы - спрашивайте =) https://github.com/fsprojects/FSharp.Configuration/pull/139 у меня пока только один PR есть который собирает 3 TP из Fsharp.Configuration для net45 и netstandard используя .NET SDK 2.1.300 и последнюю версию TP SDK (к счастью он уже зеленый)

на самом деле, если делать просто ТР в одну сборку и код компилится под netstandard2.0 вроде как не должно быть особо проблем

Спасибо)

https://twitter.com/EdgarSanchez/status/1008767306695086081

Хехе.

вот да. меня тоже заебали постоянно на разных митапах вопросами - а вот зачем вы используете F#? Программирую я на нём, блин. Решаю задачи для бизнеса. А все ожидают ответов - "AI, данные и финансы" чтобы успокоить самих себя - "ну, мы этим не занимаемся, буду дальше на C# простыни рисовать"

вот да. меня тоже заебали постоянно на разных митапах вопросами - а вот зачем вы используете F#? Программирую я на нём, блин. Решаю задачи для бизнеса. А все ожидают ответов - "AI, данные и финансы" чтобы успокоить самих себя - "ну, мы этим не занимаемся, буду дальше на C# простыни рисовать"

На самом деле под такими вопросами скрывается зависть и желание самим программировать на F# за деньги

А простыни можно на чем угодно рисовать ;)

вот да. меня тоже заебали постоянно на разных митапах вопросами - а вот зачем вы используете F#? Программирую я на нём, блин. Решаю задачи для бизнеса. А все ожидают ответов - "AI, данные и финансы" чтобы успокоить самих себя - "ну, мы этим не занимаемся, буду дальше на C# простыни рисовать"

Я отвечаю, что из-за меркантильности. За строчку на F# платят больше.

Теперь этим аргументом проще оперировать https://insights.stackoverflow.com/survey/2018/#top-paying-technologies

Теперь этим аргументом проще оперировать https://insights.stackoverflow.com/survey/2018/#top-paying-technologies

даже не знаю. не вызывает доверия

кобола нет

Этот человек, зарабатывающий миллионы не попал в статистику как "нерепрезентативная выборка")))

Теперь этим аргументом проще оперировать https://insights.stackoverflow.com/survey/2018/#top-paying-technologies

а где же F# на диаграмме из раздела "How Technologies Are Connected"((

Теперь этим аргументом проще оперировать https://insights.stackoverflow.com/survey/2018/#top-paying-technologies

Хм-хм, буквально недавно вбросил именно эту ссылку в дотнет чатик (:

забурлило?

забурлило?

а почему должно? разница то небольшая

79 больше 59 на 25% ну это средняя понятно.

79 больше 59 на 25% ну это средняя понятно.

там 19% это не так много что бы бугуртить

59 * 1.25 = 73.75 откуда 19?)

а, обратная очевидно

не, неочевидно

ага

да, очевидно))

Теперь этим аргументом проще оперировать https://insights.stackoverflow.com/survey/2018/#top-paying-technologies

Больше всего доставило, что пункта "php" в этом списке вообще нет :D

Больше всего доставило, что пункта "php" в этом списке вообще нет :D

Запретное слово, как монады

Запретное слово, как монады

Да stackoverflow вообще любители потроллить похопешников

Да stackoverflow вообще любители потроллить похопешников

Все потому что SO написан на c#, интересно, есть ли у них вакансии f#

Ну так отличное же решение. Слава богу api не авторским правом не ограничивается

Вообще-то, кажется, ограничивается. Но API оттуда брали ещё когда не было лицензионных вопросов.

Вообще-то, кажется, ограничивается. Но API оттуда брали ещё когда не было лицензионных вопросов.

А можно пример?

Вообще-то, кажется, ограничивается. Но API оттуда брали ещё когда не было лицензионных вопросов.

В Разборе полётов это как-то разбирали. Если API явно и предварительно не объявлено, как лицензируемое, то реализовывать самому можно. Иначе - действует лицензия

В Разборе полётов это как-то разбирали. Если API явно и предварительно не объявлено, как лицензируемое, то реализовывать самому можно. Иначе - действует лицензия

Но как ты его реализуешь сам другими словами? Если в либе есть какой-то интерфейс, например, то ты не можешь же его просто стырить

А если начнёшь переписывать интерфейс — всё равно получится копипаст из либы…

Вообще-то, кажется, ограничивается. Но API оттуда брали ещё когда не было лицензионных вопросов.

ну так suave и лицензию не менял, так что не должно быть проблем.

Единственное пока не совсем разобрался как тайп провайдеры тестировать, потому что я так понял нельзя просто проект зареференсить - студия повиснет. Надо билдить провайдер отдельно и потом тестовый проект открывать с референсом на длл провайдера?

Единственное пока не совсем разобрался как тайп провайдеры тестировать, потому что я так понял нельзя просто проект зареференсить - студия повиснет. Надо билдить провайдер отдельно и потом тестовый проект открывать с референсом на длл провайдера?

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

навес, удар, гол

?

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

https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/examples/ComboProvider.Tests/ComboProvider.Tests.fsproj

тут вроде простой референс идет

<ProjectReference Include="..\ComboProvider\ComboProvider.fsproj" />

Потому что это автоматические тесты. А ты, я так понял, спрашивал про ручные, типа.

Потому что это автоматические тесты. А ты, я так понял, спрашивал про ручные, типа.

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

Привет!

https://www.youtube.com/watch?v=CLuHokcr63k

https://www.youtube.com/watch?v=CLuHokcr63k

https://youtu.be/ZTbyKsw7uIU

Угу, это старый доклад. Но новая версия длиннее, кажется. :)

Перенесу из флудилки.

Там вон хороший вопрос на SO задали https://stackoverflow.com/questions/50944604/f-type-parameter-cannot-be-used-as-type-constructor

Хочет странного.

Ну, в F# не очень реализуемо то что он хочет да

а это разве не примерно то, что через модули в окамле можно сделать?

Зависит от устройства тех "message systems", от которых он хочет абстрагироваться. Я плохо понимаю мотивацию.

Да, пожалуй, в OCaml можно было бы завести сигнатуру с абстрактным типом ссылки.

В F# мы можем ввести новый тип Ref<'T, 'Msg>, где 'T — это тип "нетипизированной" ссылки, 'Msg — тип сообщения.

И уже в коде, где тип ссылки уже известен, будут нужны две дополнительные функции pack/unpack.

Кажется, довольно просто. Более сложный случай, когда типы совсем "стираются" — тогда нужна рефлексия и визиторы.

Другое решение, в духе ОО -- выделить общий минимальный интерфейс и сделать обертки для ссылок. С object expressions должно быть симпатично.

Комментарии, предложения? :)

Show me the code Ref<`t, `msg> это замена акторрефу?

Show me the code Ref<`t, `msg> это замена акторрефу?

http://bit.ly/shaplab-2trTdUK

ну кстати не самый плохой вариант. Запости как ответ

Мне лень.

http://bit.ly/shaplab-2trTdUK

количество декомпилированого кода пугает)

количество декомпилированого кода пугает)

Да, structural equality, и всё такое. %)

Привет.