пропробую найти

Можешь что-нить более обидное придумать? ) Я и так это знаю :)

Это была похвала!

Пахлава

А подскажите плиз по фейблу какую нибудь доку на почитать или видео хорошее, или только через свои шишки?)

https://github.com/kunjee17/awesome-fable

Пахлава

:)))

я заюзал AsyncSeq! Получилось оч красиво. Гист завтра

https://gist.github.com/grishace/8cba8f2a2afaeb6f77d939d44bd464fd

https://gist.github.com/grishace/8cba8f2a2afaeb6f77d939d44bd464fd

Но есть же провайдер типов

Ему небось и коннект во время сборки нужен?

Ему небось и коннект во время сборки нужен?

Да

Я уже замучился с SQLProvider ом :(

клёво для игрищь в FSI

а так.... ну... не знай

Но есть же провайдер типов

а тыкни пальцем в него?

Как среду разработки можно взять vscode с расширением ionide

а в каком порядке что устанавливать? А то на сайте ионида инструкция типа "установите это, вам также может понадобиться вон то и вон то"

а в каком порядке что устанавливать? А то на сайте ионида инструкция типа "установите это, вам также может понадобиться вон то и вон то"

ну в vscode extensions тыкаешь в Ionide - там в кнопочку install а потом Reload

ну в vscode extensions тыкаешь в Ionide - там в кнопочку install а потом Reload

там еще два ъкстеншена в нагрузку предлагают

Бери

Пригодятся

Но есть же провайдер типов

поиск по GH не принёс ничегошечки :(

поиск по GH не принёс ничегошечки :(

https://fsprojects.github.io/FSharp.Data.GraphQL/reference/fsharp-data-graphql-graphqlprovider.html

Это не оно. https://developer.microsoft.com/en-us/graph

Это не оно. https://developer.microsoft.com/en-us/graph

Аааааа

Сорри

Это API для Office 365

и там нашлись методы идеально подходящие под AsyncSeq

когда возвращается только кусок данных и запрос для получения следующего чанка

До тайп провайдеров мне как до Китая пешком :)

https://github.com/kunjee17/awesome-fable

Спасибо)

Это API для Office 365

А JsonProvider не работал как надо?

Там вроде httpApi

Я микрософтовый заюзал.

Зачем велосипедить?

А,ок

До тайп провайдеров мне как до Китая пешком :)

До Китая пешком ~~ 2 года. До TypePtroviders несколько меньше времени (месяцев 5-6)

До Китая пешком ~~ 2 года. До TypePtroviders несколько меньше времени (месяцев 5-6)

Мне ещё придётся каким-то образом через Берингов пролив перейти :)

Там вроде 6 километров? Или я перпутал?

Там вроде 6 километров? Или я перпутал?

Пешком? )))))

Да вплавь конечно. По дороге и речки есть. И Гималаи.

Окей :) тайп провайдеры ближе %)))

Привет!!

Привет!!

Всем привет!

блин... попытался тайп-констрейнты сделать... ну, как бы это сказать - циклические, когда 'T1 содержит метод, возвращающий 'T2 и, в свою очередь, наоборот. Но потерпел фиаско :( пришлось немного нарушить DRY :(

Ну Dry мы нарушаем на каждый bind

Товарищи, я тут начинаю осваивать F#, никак не отойду от 10 летнего опыта JVM жизни.

Какая модель многопоточности в F#? И вообще что есть на эту тему

Товарищи, я тут начинаю осваивать F#, никак не отойду от 10 летнего опыта JVM жизни.

ну а на JVM чо было? Scala?

ну а на JVM чо было? Scala?

Java/Scala

https://fsharpforfunandprofit.com/posts/concurrency-async-and-parallel/

те же яйца - вид сбоку, кмк

Ну Dry мы нарушаем на каждый bind

ну наружу, то оно вроде не лезет

Спасибо.

Green threads

Есть что-нибудь похожее на Future[T] ?

Task

Stackless

Мда, скалашные скобочки...

Task

Хорошо, будем копать

мы поняли, что это параметр тип

Есть что-нибудь похожее на Future[T] ?

Родное - Async<T>.

а в F# - Async

да

но их можно перемешивать немного :)

А позднее из общего .net - Task<T>

потому как приходится юзать .NET либы, а они все с Taskами

ещё надо смотреть на TaskBuilder.fs

Есть еще синхронные - Job<T> - 'это из библиотеки Норас

я его слишком поздно нашёл :(

Гопак! В чат призывается Ayrat !

А он и не так давно появился (TaskBuilder). И там не работает хвостовая рекурсия.

Мне чисто интерфейситься с остальным .НЕТом

Дядь Вань, чо не спишь?

Пятница, октобервест, пиво пью.

о! одобрямс :)

ща я тебе во флудилку песенку кину :)

до пятницы. там опубликуем.

Пятница прошла.

Ведь повершелльные команды живут в тех же сборках, у них можно информацию о типах вытаскивать

там тайпинференс в PowerShellTP самая сложная часть, там куча хаков и на сколько я помню надежного способа сказать какой будет тип результат нут

там тайпинференс в PowerShellTP самая сложная часть, там куча хаков и на сколько я помню надежного способа сказать какой будет тип результат нут

Ну, тут проблема с самими командлетами и их динамической природой, тут мало что можно придумать.

блин... попытался тайп-констрейнты сделать... ну, как бы это сказать - циклические, когда 'T1 содержит метод, возвращающий 'T2 и, в свою очередь, наоборот. Но потерпел фиаско :( пришлось немного нарушить DRY :(

код провайдеров никогда не был сильно идеоматически функицональным. но мне кажется с новым темплитом провайдеры должно быть гораздо проще начинать делать

Всем доброго времени суток. Переводивший вот эту https://habr.com/post/424895/ статью есть в чятике?

Привет

Приветствую всех!

Всем доброго времени суток. Переводивший вот эту https://habr.com/post/424895/ статью есть в чятике?

Тоже интересно

Всем доброго времени суток. Переводивший вот эту https://habr.com/post/424895/ статью есть в чятике?

Можно там спросить

А есть более новые соображения по дизайну со времён Влашина? Пять лет одни и те же статьи маринуются

А есть более новые соображения по дизайну со времён Влашина? Пять лет одни и те же статьи маринуются

Классика не нуждается в актуализации)

Сейчас бы про GOF такое говорить

Я не против, но все, кто интересовался, уже наизусть знают классику

На этой неделе вроде не плохие новости получились https://sergeytihon.com/2018/10/06/f-weekly-40-2018-stylish-f-infer-net-fable-2-blazor-0-6-net-core-3-0-vs-2019/

Я не против, но все, кто интересовался, уже наизусть знают классику

Выискивать новые вершины это полезно, круто

код провайдеров никогда не был сильно идеоматически функицональным. но мне кажется с новым темплитом провайдеры должно быть гораздо проще начинать делать

Это не тп были. Это я женерик так пытался нарисовать

А есть более новые соображения по дизайну со времён Влашина? Пять лет одни и те же статьи маринуются

Просто эту серию статей с сайта Влашин оформил в книжку в этом году - https://pragprog.com/book/swdddf/domain-modeling-made-functional

Всем доброго времени суток. Переводивший вот эту https://habr.com/post/424895/ статью есть в чятике?

Тебе тоже не нравится «невыразимыми»?

Добрый вечер. Вопрос: есть у меня такой вот тип, определённый в отдельной бибилиотеке: type MessageWithReceiver = MsgRec of message: Message * receiver: IActorRef<string> Библиотека импортируется в приложение, в котором есть функция, один из параметров которой имеет вышеописанный тип. Но почему-то для неё этот тип выглядит как type MessageWithReceiver = MsgRec of message: Message * receiver: obj (т.е. вместо IActorRef<string> видится просто obj). Почему так?

Ну пропиши явно тип

Так используешь, видимо

Я прописал явно тип параметра как MessageWithReceiver. Проблема в том, что сам тип этот как будто неправильно видится.

https://i.imgur.com/ukcIsDh.png