Приложение может сделать бсод и не трогая ядро.

но это, кажется, оффтопик. Я предполагаю что проблема в железе, может быть в ОС и едва ли связана со связкой VSCode + Ionide

Ребят, кто-нибудь делал ассинхронные запросы на бд в Websharper? Юзаю SQLProvider + провайдеры, пробовал как sqlite, так и postgres, но при ассинхронном запросе всё время одна и таже ошибка на стороне клиента - "Failed to load resource: the server responded with a status of 500 (Internal Server Error)". Синхронные запросы отрабатывают как надо.

А как в F# сделать типа такого: (await SomeFunc()).SomeValue

F# Weekly #30, 2017 - Happy 2nd-anniversary Jet https://sergeytihon.com/2017/07/23/f-weekly-30-2017-happy-2nd-anniversary-jet/

хз кодирую на f# в вскоде из-под виндовс

Я тоже, кстати, работаю с проектами на .NET Core в VSCode. Полёт нормальный. Правда, дебаг немножко кривовато работал (сбивался с номерами строк).

В мой энтерпрайз .net core рановато сувать-можно на бабки попасть :)

@fvnever а ты же там что-то писал связанное с sql?

Хм. Нет, наверное. Не уверен, что правильно понял вопрос. Провайдеров я не писал.

Я пытался сделать концепт генерации типов поверх провайдера

С помощью пребилд скрипта

В целом, оно даже из c# было видно как нормальные функции

Но есть фундаментальная проблема,к сожалению

Для компиляции актуального провайдера нужен доступ билд сервера к актуальной бд в том или ином виде

Да, ты прав.

Поэтому это норм взлетает на исследовательских или пет проектах

Мне казалось, там были какие-то подвижки в этом направлении? Можно было читать схему БД из файлов или что-то в этом роде?

Ну там есть что-то,что по dbml генерит

Поэтому это норм взлетает на исследовательских или пет проектах

Если честно, мне кажется, что такая же история со всеми провайдерами.

Если честно, мне кажется, что такая же история со всеми провайдерами.

Да

Если честно, мне кажется, что такая же история со всеми провайдерами.

Не со всеми. С теми провайдерами, которые уже из файлов что-то генерируют (JSON, XML, Protobuf) проблемы нет.

Ну там есть что-то,что по dbml генерит

Вот. Я планировал для билд-сервера паковать эту схему БД в какой-то dbml (или типа того, неважно), ну а потом уже из неё билдиться.

Мне казалось, там были какие-то подвижки в этом направлении? Можно было читать схему БД из файлов или что-то в этом роде?

Если иметь схему бд, надо разрабатывать регламент по ее регулярному обновлению тогда

Ну, мы же полагаем, что её сам провайдер будет уметь генерировать и обновлять?

Вряд ли

Источником схемы является бд

Прям даже в него можно встроить такую фичу, чтоб он обновлял и сохранял текстовое описание схемы. И фолбэчился на него, если настоящая БД недоступна.

Есть провайдеры с работой из dbml уже

Проблема в другом

Как поддерживать его в актуальном состоянии

В команде из нескольких разработчиков

Да, ещё и миграции сюда же вмешиваются.

Миграции из той же серии,да

Не со всеми. С теми провайдерами, которые уже из файлов что-то генерируют (JSON, XML, Protobuf) проблемы нет.

Я про другое. Провайдеры сложно писать, у многих из них довольно низкое качество, непонятно как использовать в продакшене. Кажется, если убрать провайдеры из языка, то никому хуже не станет.

В целом получается,что руками проще

Провайдеры-гиковская фишка

Я предлагаю так: - разработчики меняют БД, в девелопер-моде провайдер читает данные из БД - перед коммитом разраб, который менял БД и написал миграцию, обновляет DBML - на билд-сервере юзаем DBML

Я про другое. Провайдеры сложно писать, у многих из них довольно низкое качество, непонятно как использовать в продакшене. Кажется, если убрать провайдеры из языка, то никому хуже не станет.

Ну и как мы будем с БД работать?

Ну и как мы будем с БД работать?

Без провайдеров, как там в остальном дотнете принято.

Без провайдеров, как там в остальном дотнете принято.

Дак у них там плохо всё!

У нас с провайдерами лучше.

Нормально там

У нас с провайдерами лучше.

Так ты сможешь говорить, когда заюзаешь сам. :)

Бойлерплейта больше

С моей точки зрения,провайдеры могут быть интересы для имплементации dsl

Осталось написать тайп провайдера, который по папке с sql файлами генерит набор команд :)

Хм. Нет, наверное. Не уверен, что правильно понял вопрос. Провайдеров я не писал.

Я про это говорил

Кто-то поднимал такую тему

Ну такой провайдер не получился с наскока

Если честно, мне кажется, что такая же история со всеми провайдерами.

Ну...провайдеры удобны очень, когда надо что-то быстро сделать. 2 провайдера: один для бд, второй для экселя, для парсинга, заменяют кучу кода на с#

Что ооочень удобно

Там проблема в вызове тайп провайдера из тайп провайдера

Кстати, интересная идея, тайп провайдер для Sql файлов, типа пишешь ручками запрос, а он генерит обёртку для него :)

Ну...провайдеры удобны очень, когда надо что-то быстро сделать. 2 провайдера: один для бд, второй для экселя, для парсинга, заменяют кучу кода на с#

Скриптинг одноразовый-да,очень удобно

Ну...провайдеры удобны очень, когда надо что-то быстро сделать. 2 провайдера: один для бд, второй для экселя, для парсинга, заменяют кучу кода на с#

Да, я согласен. Для скриптинга и исследования данных, например.

Проблемы обычно в рантайме подстерегают

Кстати, интересная идея, тайп провайдер для Sql файлов, типа пишешь ручками запрос, а он генерит обёртку для него :)

http://fsprojects.github.io/FSharp.Data.SqlClient/

Не тот инструмент,похоже

Не тот инструмент,похоже

Не тот инструмент для завоевания энтерпрайза. :)

Проблема SQL провайдеров,да и прочих,в том, что они генерятся по данным,а не по метаданным

Проблема SQL провайдеров,да и прочих,в том, что они генерятся по данным,а не по метаданным

Здесь нет никаких принципиальных ограничений.

http://fsprojects.github.io/FSharp.Data.SqlClient/

Он просто кортежи возвращает что-ли?

Здесь нет никаких принципиальных ограничений.

Нету,да.Но в исследовательских задачах удобнее по данным

Он просто кортежи возвращает что-ли?

Нет.

И как он распознаёт типы, что topN это int64, regionName это string

В реальных- по модели данных

А, он только для Sql Server'a

Не тот инструмент для завоевания энтерпрайза. :)

Правда, и датасаенс провайдерами тоже не смогли завоевать. Но попытка хорошая.

Пруф он концепт провайдеров, параметризуемых типами, забросили немного. https://github.com/colinbull/visualfsharp/tree/rfc/fs-1023-type-providers

Это была бы более полезная в повседневности фича, как мне кажется.

В общем, я про что

Я тут пишу кстати micro orm, типа Dapper + Slapper, но для F#

Про то, что написать на базе провайдера преализатор парсера грамматики какой-нить типа antlr - ок

Можно написать конструктор sql запросов, по идее

Я тут пишу кстати micro orm, типа Dapper + Slapper, но для F#

Если у кого есть идеи, предлагайте

Описанный какой-нить грамматикой

Но работать напрямую с источниками данных - это ад

И очень жаль, что Рослин не поддерживает F# пока, как я понимаю

И очень жаль, что Рослин не поддерживает F# пока, как я понимаю

А в каком виде он может поддерживать F#?

А в каком виде он может поддерживать F#?

По идее разбор AST

Ну и кодеген, конечно :)

Мне ща скажут , что есть квотейшны для этого

Мне ща скажут , что есть квотейшны для этого

Да, они есть. :) С некоторыми понятными ограничениями.

Для чего? ._.

Квотейшены не компилируют же мне код.

visualfsharp компилирует мне код.

Квотейшены не компилируют же мне код.

Причем здесь компиляция?

Было бы неплохо, если б код компилировался через Roslyn!

Было бы неплохо, если б код компилировался через Roslyn!

Зачем?

Но это нереалистично, конечно.

Сейчас так: execute (sqlQuery "select * from table where id = @id", [ "id" = 1 ]) Думаю может быть сделать как-то так (если вообще возможно): execute << sqlQuery "select * from table where id = %i" id

Зачем?

1) нативная поддержка в студии 2) шаринг всей инфраструктуры без дополнительных усилий с нашей стороны 3) все новейшие фичи флагманских языков (string interpolation, nameof, etc.) бы почти автоматически были у нас в кармане

1) нативная поддержка в студии 2) шаринг всей инфраструктуры без дополнительных усилий с нашей стороны 3) все новейшие фичи флагманских языков (string interpolation, nameof, etc.) бы почти автоматически были у нас в кармане

Да, это фантастика, дедушка.

Увы, в этом направлении пока никто не работает. Ну, расшарим хотя бы проектную систему, а там посмотрим.

Увы, в этом направлении пока никто не работает. Ну, расшарим хотя бы проектную систему, а там посмотрим.

Никто и не будет.

Сейчас так: execute (sqlQuery "select * from table where id = @id", [ "id" = 1 ]) Думаю может быть сделать как-то так (если вообще возможно): execute << sqlQuery "select * from table where id = %i" id

В некоторых SqlProvider реализовано через query

В некоторых SqlProvider реализовано через query

Ну я что-то в последнее время предпочитаю обычный Sql