Смотрел suave io?

Там вроде не DSL было

Роутинг по урлам там очень похож .

@the_RAMZAY Это erased провайдер, там нет никаких настоящих типов.

Я не уверен, кстати, что во время компиляции нельзя этот тип вытащить и как-нибудь использовать. Может, и можно.

Там вроде не DSL было

DSL это все равно фции

commands { command "/start" { .... } }

+1, тоже о похожем думал

@neftedollar типы в общем там есть, но как только их вытягиваешь через свойство - сразу же "красным" становится тип sqlProvider'а

магия

Там вроде не DSL было

Я к тому что можно было бы описать фцию типа parseMessage<'t> str = // тут парсишь строку в нужный тип, например обычным сопоставлением, типа match str with | "/start" -> MyCommandDU.Start |> Some | "/forget" -> Forget |> Some | ParseCommand<'t option> cmd -> cmd | _ - > None

М - магия

То ли я дурак... То ли сани не едут.

@the_RAMZAY Зачем тебе эти типы нужны?

@gsomix сейчас пока не нужны. Но вот вдруг я захочу dto ?

я бы использовал эти типы как dto

Но это не DTO типы.

Это не настоящие типы, в них ничего нельзя хранить, их нельзя использовать во внешних сборках.

ну, я бы создал тип для dto, внутри которого был бы этот тип, и через него к примеру расширял dto, что бы не писать руками всё и вся

Это не настоящие типы, в них ничего нельзя хранить, их нельзя использовать во внешних сборках.

Но можно же. Я так не делал, а Павел Хиротиненко так делал посстоянно

я понимаю, что они не настоящие - дак вот я пытаюсь их сделать настоящими.

скопипастить их поля, так сказать.

@neftedollar Что делал и как?

@the_RAMZAY Ты уверен, что там есть "поля"? :)

а почему бы и нет?

я же их вижу через тот же sql

Seq.iter

@neftedollar Что делал и как?

Насколько я понял отдельный fsproj с тайппровайдером и его референсил из c# проекта и использовал как орм

@the_RAMZAY Ты уверен, что это "поля"? :)

@neftedollar да, он такое рассказывал у себя в презенташке.

@neftedollar да, он такое рассказывал у себя в презенташке.

А дай ссылку пожалуйста

@gsomix нууу, эм, а как тогда это работает? db.Users |> Seq.iter (fun u -> printfn "%A" u.Name)

@neftedollar да, он такое рассказывал у себя в презенташке.

А то я от Павла ни одной презентации не видел

а, я попутал людей

@the_RAMZAY С помощью магии компилятора.

просто @nevoroman тоже такое у себя делал.

@neftedollar @the_RAMZAY Erased провайдер не генерирует настоящих типов, их не видно в C#. Скорее всего он писал типы-обертки, функции и так далее, чтобы заменить этим ORM.

@neftedollar @the_RAMZAY Erased провайдер не генерирует настоящих типов, их не видно в C#. Скорее всего он писал типы-обертки, функции и так далее, чтобы заменить этим ORM.

Надо попробовать)

@neftedollar @the_RAMZAY Erased провайдер не генерирует настоящих типов, их не видно в C#. Скорее всего он писал типы-обертки, функции и так далее, чтобы заменить этим ORM.

Нефтедоллар нефтедоллар зови меня так)

интересно послушать, как @nevoroman это делал.

@nevoroman Делал. Правда, не от хорошей жизни, как и говорил - это была олимпиада и там нельзя было EF использовать (по странным причинам), так что я вот так хачил

Через функции, да

расскажи подробней =)

Ты пользовался только тем, что нагенерил тайп-провайдер ? ( по части энтитей)

Я не вспомню деталей, честно - это был адский ад со страшным г... не особо качественным, в общем, кодом

Ну, меня это прямо вдохновило =)

мол - а зачем мне тогда EF вообще ? =)

Не. EF это мощный комбайн

change tracking

Хотя в большинстве случаев от ORM нужен только маппинг сущностей и вменяемые селекты

Провайдеры - это в основном альтернатива написанию оберток для типов + их автоматический маппинг, не более того

@nevoroman я про свои корманные проекты, и вот такие утилетарные проекты, как сейчас у меня. EF тут выглядит очень толсто.

Но да, когда нужен только маппинг и селекты, этого достаточно. И сильно помогает, когда не хочется тянуть EF просто чтобы слегка поковыряться в данных

Да, в небольших пет проектах провайдеры идеальны

Такие проекты вообще на F# приятно делать, быстро и удобно выходит. У меня, во всяком случае.

Кстати ты меня прямо воодушивил на Дата Сцаинс =)

Радует, в том и цель :)

Я вот думаю, как f# затащить в кровавый энтерпрайз, точнее, где он там уместен

везде :)

А поясните человеку, который не разу не щапал провайдеры: 1. Как часто перегенерируется код провайдеров? 2. Что бывает если, он не нашел исходные данные, по которым генерит 3. Как они влияют на скорость сборки?

1. При каждой компиляции 2. Ошибка компиляции 3. Замедляют

При каждой компиляции, но и в дизайн-тайме тоже

То есть пока пишешь код в студии.

Поэтому, например, в продакшн базе с тайп провайдером будет тяжко. Там надо, чтобы билд сервер имел метаинформацию о базе

@angmarr если ввести не верные данные - оно по ctrl+s упадёт с ошибками =)

Вот это, кстати, одно из препятствий на пути к энтерпрайзу

Потому как там надо много всего невидимого сделать, чтобы оно нормально заработало

Поэтому, например, в продакшн базе с тайп провайдером будет тяжко. Там надо, чтобы билд сервер имел метаинформацию о базе

А вроде тайппровайдер умеет откуда-то из sql-файла читать структуру базы?

Я хотел на билдсервере вот так изворачиваться, через сериализованную структуру в файлике

Поэтому, например, в продакшн базе с тайп провайдером будет тяжко. Там надо, чтобы билд сервер имел метаинформацию о базе

Но мне казалось, что нет. Он генерит типы в design time, а если в рантайме поменялась модель, например исчезло поле. То при обращении к нему случится ошибка

А вроде тайппровайдер умеет откуда-то из sql-файла читать структуру базы?

ну некоторые умеют

Но мне казалось, что нет. Он генерит типы в design time, а если в рантайме поменялась модель, например исчезло поле. То при обращении к нему случится ошибка

При компиляции надо доступ к метаинформации иметь все равно

Поэтому все эти коннекшн стринги с точки зрения энтерпрайза - курам на смех

Это получается как со scala-макросами, еще надо научить IDE понимать их (ее фронтенд-компилятор). У Scala это не получилось до сих пор, постоянно народ жалуется что красный код.

Так вроде IDE нормально понимают провайдеры.

Так вроде IDE нормально понимают провайдеры.

Много IDE? Какие кроме VS?

Все, которые на FCS работают.

С провайдерами засада одна всего - у тебя на билде окружение одно, а в продакшне другое

И как тут добиться консистентности - задача не из простых

Все, которые на FCS работают.

OK, понял

хм, у меня в Rider'е всё ок c type provider'ом

Это получается как со scala-макросами, еще надо научить IDE понимать их (ее фронтенд-компилятор). У Scala это не получилось до сих пор, постоянно народ жалуется что красный код.

С т.з. IDe сгенерированный тайппровайдером контент - самый обычный класс net с вложенными классами. А чтобы макрос понять, надо всё откомпилировать

в общем я бы сказал так, что тайппровайдеры не всегда подходят для разработки. Но например json провайдер вполне подходит.

хм, у меня в Rider'е всё ок c type provider'ом

Я так понял FCS включает в себя и частично фронтенд компилятор. Если так подумать, то в Rider ничего своего и не сделали. Те расчитавать что JB напилит своего функционал, как в R# для C# не приходится.

Я так понял FCS включает в себя и частично фронтенд компилятор. Если так подумать, то в Rider ничего своего и не сделали. Те расчитавать что JB напилит своего функционал, как в R# для C# не приходится.

в F# это не нужно наверное. Но и я думаю в jetBrains не так уж и много пользуются F#, чтоб понимать что действительно нужно разработчикам. Позже по фидбекам добавят, если саймон не решится)

@angmarr Поживем, увидим.

Я очень надеюсь, что в Rider будет хорошая поддержка F#.

Меня вообще VSCode устраивает с головой (по крайней мере памяти жрет гораздо меньше, чем продукты JB)

Дратути. Можно же глупые вопросы задавать?

@welltyped Привет. Можно.

Я пытаюсь создать проект на F# с помощью dotnet. Иду по этой инструкции https://github.com/dotnet/docs/blob/master/docs/fsharp/tutorials/getting-started/getting-started-command-line.md и не получается.

Что именно не получается?

Сразу после добавления Library в solution, нужно выполнить dotnet restore и потом dotnet build. dotnet restore сообщает, что: /usr/local/share/dotnet/sdk/1.0.4/NuGet.targets(97,5): warning : Unable to find a project to restore! и dotnet build валится: /Users/ak3n/Develop/fsharp-abt/src/Library/Library.fsproj.metaproj : error MSB4025: The project file could not be loaded. Could not find file '/Users/ak3n/Develop/fsharp-abt/src/Library/Library.fsproj.metaproj'. По путям видно, что у меня os x. dotnet ставил с сайта microsoft.

@welltyped dotnet sln add src/Library/Library.fsproj Сделал?

@welltyped dotnet sln add src/Library/Library.fsproj Сделал?

Угу.

Все по инструкции.