неужели тайп провайдеры?

https://github.com/fsprojects/FSharp.TypeProviders.SDK#updating-a-type-provider-to-be-suitable-for-use-with-the-net-sdk

https://github.com/fsprojects/FSharp.TypeProviders.SDK#updating-a-type-provider-to-be-suitable-for-use-with-the-net-sdk

Потрясно!

Потрясно!

вроде как не очень даже страшно, так главное на новый TPSDK перейти, а дальше работа мезаническая есть знаешь как работать с net core, fake, paket, new proj files format и т.д. =)

Тут как-то скидывали ссылку на дискуссию, в которой советовали любой ценой воздержаться от использования type providers в реальном проекте. Объясните плз почему (кроме проблем с невнятными ошибками в SQL provider, что как я понял, проблема конкретной реализации) или дайте что-нибудь почитать на эту тему.

Тут как-то скидывали ссылку на дискуссию, в которой советовали любой ценой воздержаться от использования type providers в реальном проекте. Объясните плз почему (кроме проблем с невнятными ошибками в SQL provider, что как я понял, проблема конкретной реализации) или дайте что-нибудь почитать на эту тему.

Это был наброс. :)

Все зависит, на самом деле, от качества конкретного провайдера. Прямо как с остальными библиотеками!

Все зависит, на самом деле, от качества конкретного провайдера. Прямо как с остальными библиотеками!

Ну про качество реализаций все понятно, я думал, есть концептуальная проблема, либо хороших реализаций пока нет и в ближайшее время не предвидится

Не скажу, что у меня есть какая-то богатая практика, но один раз решил использовать провайдер для ажуровского SQL, по сравнению с EF, нагрузка была раза в четыре больше на тех же запросах

Основная проблема - CI/CD. Необходимость корректной БД при билде.

Например, собираю под мультистейдж докером. В стандартный имедж докладывается пострес, потом билдятся миграции, потом накатываются. Потом билд проета - минут в 15 выходит

И это с докером. Без него вообще не знаю как собирать. Сбросом среды.

Понял, спасибо

Есть и более мелкие проблемы. Тулинг может недакватно себя вести. :)

Или недавно в твиттере жаловались, что использовали erased providers, а потом захотелось иметь настоящие типы.

Ну такое.

Есть и более мелкие проблемы. Тулинг может недакватно себя вести. :)

Это исправимые проблемы. С билдом - нужен тулинг совсем другой

А просто при разработке провайдеры не кушают памяти и цпу? Насколько я помню так хорошо кушают

Например, собираю под мультистейдж докером. В стандартный имедж докладывается пострес, потом билдятся миграции, потом накатываются. Потом билд проета - минут в 15 выходит

Но для json tp такой проблемы может и не быть, если допустим json гоняется через шину и надо его парсить

Т.Е. это проблема конкретных ТП. Для быстрого анализа данных провайдеры отличная штука

В F# они замена метапрограммирования. А для быстрого анализа данных билд не нужен.

Привет.

Привет)

Надеюсь сообщество будет терпимо к новичкам))

Надеюсь сообщество будет терпимо к новичкам))

Ну, всем хорошим людям мы стараемся помогать. Есть какие-то вопросы? :)

Надеюсь сообщество будет терпимо к новичкам))

Надежда - штука такая

Ну, всем хорошим людям мы стараемся помогать. Есть какие-то вопросы? :)

Первый день на этом языке, пока вопросов нет)) заранее пришел сюда. )

Первый день на этом языке, пока вопросов нет)) заранее пришел сюда. )

Для себя или по работе?

Для себя ) отдохну от С# и прочего))

Первый день на этом языке, пока вопросов нет)) заранее пришел сюда. )

Отличный способ начать - присоединиться к соответствующему чату ?

*мне пока не помогло ?

*мне пока не помогло ?

В целом логично

В любом случае лишним не будет)) иногда лучше спросить чем гуглить не понимая что))

Тож верно

В целом логично

ну всё равно хочется надеяться, что я тут не без пользы торчу

ну как минимум можно с ребятами за монады выпить

Зачем за монады пить?

ну всё равно хочется надеяться, что я тут не без пользы торчу

не без пользы для всех и надеюсь для себя

@fvnever Что там за движуха в TaskBuilder?

Что-то в SRTP поломали?

Да вроде нет.

http://aastevenson.github.io/FSharp.Text.Experimental.Transform/ ПЕПЯКА!

@fvnever Что там за движуха в TaskBuilder?

Просто выкатили какую-то несовместимую версию, а сейчас чинят (починили?). Проблем добавляет старый жураф, который юзал свою версию TaskBuilder, а не нугетовый пакет.

Просто выкатили какую-то несовместимую версию, а сейчас чинят (починили?). Проблем добавляет старый жураф, который юзал свою версию TaskBuilder, а не нугетовый пакет.

А, ок. Видимо, я просто чуть раньше начал читать. Там что-то отломали в SRTP, потом откатили, а в процессе переписали SRTP код в TaskBuilder, чтобы он работал в F#4.0

Это я тоже помню, да. Но не знал, что там что-то ломалось.

https://github.com/Microsoft/visualfsharp/pull/1650

Вот это откатывали, а потом откатили откат.

Блин, SRTP — это сложно. :)

@fvnever https://github.com/rspeele/TaskBuilder.fs/pull/14/files

http://aastevenson.github.io/FSharp.Text.Experimental.Transform/ ПЕПЯКА!

Занятный провайдер.

let welcomeToHello (inp: HW.Greeting) = match inp.TryMatch<"welcome">() with | Some _ -> HW.Greeting.Construct<"hello">() | None -> inp

Первый раз вижу такое использование статических параметров.

Пойду RFC перечитаю.

http://aastevenson.github.io/FSharp.Text.Experimental.Transform/ ПЕПЯКА!

неплохо

Кстати, FSharp.Data.Npgsql провайдер сам умеет конфигурироваться по внешнему файлу. Хорошо сделали.

Кстати, FSharp.Data.Npgsql провайдер сам умеет конфигурироваться по внешнему файлу. Хорошо сделали.

круто

Привет!

хей

> Keynote: Crossroads: F# in the middle of... nowhere?

Я смотрю, F# eXchange в этом году будет еще интереснее. :)

А когда он будет, и будет ли онлайн?

В начале апреля. После выкладывают видео.

О, там даже Антон Молдован будет докладывать.

> How do we cook highload microservices at SBTech

https://skillsmatter.com/conferences/9419-f-sharp-exchange-2018#program

А, правда, его можно уже сейчас на русском языке послушать. https://www.youtube.com/watch?v=05DyWjTBg0c

Все как мы любим. ?

Все как мы любим. ?

Круто

А, правда, его можно уже сейчас на русском языке послушать. https://www.youtube.com/watch?v=05DyWjTBg0c

т.е. SBtech используют F#? А SBTech это Сбертех?

т.е. SBtech используют F#? А SBTech это Сбертех?

Не. https://www.sbtech.com/

Не. https://www.sbtech.com/

ок, спасибо

А, правда, его можно уже сейчас на русском языке послушать. https://www.youtube.com/watch?v=05DyWjTBg0c

немного болонхилл)

Все как мы любим. ?

Все как мы любим. ?

Так вот к чем это было!)

А, правда, его можно уже сейчас на русском языке послушать. https://www.youtube.com/watch?v=05DyWjTBg0c

только сейчас распознал в логотипе nancy лицо

А, правда, его можно уже сейчас на русском языке послушать. https://www.youtube.com/watch?v=05DyWjTBg0c

Просто лучший спикер

Молдован крутой. Я бесконечно далек от промышленной разработки, но все равно заворожённо слушаю. :)

Молдован крутой. Я бесконечно далек от промышленной разработки, но все равно заворожённо слушаю. :)

та же фигня

Ребят, а можете посоветовать, что почитать про DI/IoC или что-то подобное, ну может какие-то их альтернативы, в ФП? (Я в своём пет-прожекте тихоньку подхожу к тому, что у меня логгер, подключение к базе и вот это всё тянется через параметры через кучу функций, и вот это начинает выглядеть как-то вообще неудобно и неправильно...)

это правильный вопрос

Ребят, а можете посоветовать, что почитать про DI/IoC или что-то подобное, ну может какие-то их альтернативы, в ФП? (Я в своём пет-прожекте тихоньку подхожу к тому, что у меня логгер, подключение к базе и вот это всё тянется через параметры через кучу функций, и вот это начинает выглядеть как-то вообще неудобно и неправильно...)

Я думаю, здесь варианты такие: - делать, как в C# (Симановская книжка Dependency Injection in .NET) - частичное применение, DI через монады (https://fsharpforfunandprofit.com/posts/dependency-injection-1/) - dependency rejection (http://blog.ploeh.dk/2017/01/27/from-dependency-injection-to-dependency-rejection/)

альтернатива — это композиция, но её тянуть тоже занудно

у Зимэнна было видео с прошлого дотнекста, но он тоже ни к чему хорошему не пришёл

судя по этой картинке все фшарп ниггас? )

А почему F# только на нумпаде?

Потому что только для финансов пригоден. ;)

у Зимэнна было видео с прошлого дотнекста, но он тоже ни к чему хорошему не пришёл

https://www.youtube.com/watch?v=xG5qP5AWQws на всякий случай

у Зимэнна было видео с прошлого дотнекста, но он тоже ни к чему хорошему не пришёл

Ну, вон Молдован в видосе говорит, что они dependency rejection у себя практикуют.

Я ещё не посмотрел

И лучше тоже ничего не придумал

Но по моей практике такой подход работает как неизбежное зло: всё равно слишком много хвостов

> что у меня логгер, подключение к базе и вот это всё тянется через параметры через кучу функций У тебя F#, сделай статический метод и дергай его, возьми Serilog, не переусложняйте, позязя.

DI/IoC - это просто возможность передавать функцию в вызываемую функцию.

Функции высшего порядка

Но по моей практике такой подход работает как неизбежное зло: всё равно слишком много хвостов

Это от непоследовательности.

А, правда, его можно уже сейчас на русском языке послушать. https://www.youtube.com/watch?v=05DyWjTBg0c

Прикольный доклад (леща мне, за то что не юзаю в продакшене ?)