@Fsharp_chat

Страница 607 из 772
Vlad
18.06.2018
21:46:38
Сдк провайдеров типов, в плане

Evgeniy
18.06.2018
21:47:02
Тутор по написанию своих провайдеров?

Evgeniy
18.06.2018
21:47:20
Гм. Давай у @sergey_tihon спросим!

Google
Roman
18.06.2018
23:05:53
А нужен? :)

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

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

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

Sergey
19.06.2018
04:46:30
А сейчас есть тутор под нет кор и новый сдк где-то?
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 вроде как не должно быть особо проблем

Evgeniy
19.06.2018
05:00:03
@sergey_tihon Спасибо!

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

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

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

Evgeniy
19.06.2018
10:19:30
https://twitter.com/EdgarSanchez/status/1008767306695086081

Хехе.

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

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

Mariia
19.06.2018
11:37:17
кобола нет

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

Григорий
19.06.2018
11:43:48
TheRainwildsKeeper
19.06.2018
11:50:55
Теперь этим аргументом проще оперировать https://insights.stackoverflow.com/survey/2018/#top-paying-technologies
Хм-хм, буквально недавно вбросил именно эту ссылку в дотнет чатик (:

Ayrat
19.06.2018
11:51:14
забурлило?

Mariia
19.06.2018
12:09:21
забурлило?
а почему должно? разница то небольшая

Ayrat
19.06.2018
12:10:09
79 больше 59 на 25% ну это средняя понятно.

Mariia
19.06.2018
12:12:29
79 больше 59 на 25% ну это средняя понятно.
там 19% это не так много что бы бугуртить

Ayrat
19.06.2018
12:13:36
59 * 1.25 = 73.75 откуда 19?)

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

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

Mariia
19.06.2018
12:14:26
ага

Ayrat
19.06.2018
12:14:41
да, очевидно))

Andrew
19.06.2018
12:16:38
Теперь этим аргументом проще оперировать https://insights.stackoverflow.com/survey/2018/#top-paying-technologies
Больше всего доставило, что пункта "php" в этом списке вообще нет :D

Google
Andrew
19.06.2018
12:35:02
Запретное слово, как монады
Да stackoverflow вообще любители потроллить похопешников



Roman
19.06.2018
13:00:25
Да stackoverflow вообще любители потроллить похопешников
Все потому что SO написан на c#, интересно, есть ли у них вакансии f#

Friedrich
19.06.2018
13:52:06
Ну так отличное же решение. Слава богу api не авторским правом не ограничивается
Вообще-то, кажется, ограничивается. Но API оттуда брали ещё когда не было лицензионных вопросов.

Dmitry
19.06.2018
13:59:30
Вообще-то, кажется, ограничивается. Но API оттуда брали ещё когда не было лицензионных вопросов.
В Разборе полётов это как-то разбирали. Если API явно и предварительно не объявлено, как лицензируемое, то реализовывать самому можно. Иначе - действует лицензия

Friedrich
19.06.2018
14:01:02
В Разборе полётов это как-то разбирали. Если API явно и предварительно не объявлено, как лицензируемое, то реализовывать самому можно. Иначе - действует лицензия
Но как ты его реализуешь сам другими словами? Если в либе есть какой-то интерфейс, например, то ты не можешь же его просто стырить

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

Pavel
19.06.2018
14:13:41
Vlad
19.06.2018
21:21:58
Единственное пока не совсем разобрался как тайп провайдеры тестировать, потому что я так понял нельзя просто проект зареференсить - студия повиснет. Надо билдить провайдер отдельно и потом тестовый проект открывать с референсом на длл провайдера?

Xak
20.06.2018
05:17:35
навес, удар, гол

Friedrich
20.06.2018
05:17:43
?

Vlad
20.06.2018
07:19:14
Обычно провайдера и проект складывают в разные солюшены, по-моему.
https://github.com/fsprojects/FSharp.TypeProviders.SDK/blob/master/examples/ComboProvider.Tests/ComboProvider.Tests.fsproj

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

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

Friedrich
20.06.2018
07:19:52
Потому что это автоматические тесты. А ты, я так понял, спрашивал про ручные, типа.

Vlad
20.06.2018
07:20:41
Потому что это автоматические тесты. А ты, я так понял, спрашивал про ручные, типа.
наверно, я пока совсем в темном лесу тут) понять бы как его дебажить вообще

Roman
20.06.2018
07:21:29
Привет!

Google
Evgeniy
20.06.2018
11:17:59
https://www.youtube.com/watch?v=CLuHokcr63k

TheRainwildsKeeper
20.06.2018
11:27:51
Evgeniy
20.06.2018
11:28:40
Угу, это старый доклад. Но новая версия длиннее, кажется. :)

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

Там вон хороший вопрос на 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 должно быть симпатично.

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

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

Evgeniy
20.06.2018
11:53:35
Ayrat
20.06.2018
11:58:14
ну кстати не самый плохой вариант. Запости как ответ

Evgeniy
20.06.2018
11:58:28
Мне лень.

Vlad
20.06.2018
11:58:54
http://bit.ly/shaplab-2trTdUK
количество декомпилированого кода пугает)

Google
Evgeniy
20.06.2018
12:03:49
Привет.

Страница 607 из 772