Нету, естественно

Зато есть на query expressions: https://fsprojects.github.io/SQLProvider/core/querying.html

Норм, вот это то что нужно. SQLProvider — добро :)

Я всё забываю его поюзать. Надо бы взяться

Только наружу экспрешн не вытащишь

А вроде их можно же было композировать.

Ну и чтобы строчка проверялась на корректность структуре базы

Вообще это реализуемо. Если бы сделали так чтобы студия брала данные для подключения к БД из того же файла который юзается чтобы подключаться к БД из кода (App.config или типа того). Тогда она могла бы валидировать строки с SQL кодом. Я например видел - сейчас студия начала подсвечивать строки с регулярками. Значит и строки с SQL тоже наверняка можно распознать.

Вообще это реализуемо. Если бы сделали так чтобы студия брала данные для подключения к БД из того же файла который юзается чтобы подключаться к БД из кода (App.config или типа того). Тогда она могла бы валидировать строки с SQL кодом. Я например видел - сейчас студия начала подсвечивать строки с регулярками. Значит и строки с SQL тоже наверняка можно распознать.

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

Вообще это реализуемо. Если бы сделали так чтобы студия брала данные для подключения к БД из того же файла который юзается чтобы подключаться к БД из кода (App.config или типа того). Тогда она могла бы валидировать строки с SQL кодом. Я например видел - сейчас студия начала подсвечивать строки с регулярками. Значит и строки с SQL тоже наверняка можно распознать.

IDEA так умеет делать, кстати. Наверное, Rider тоже будет уметь ?

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

Он говорил только про тулинг в IDE. Про билды пока не было речи.

(но я согласен, что вопрос с билдами даже более первичен)

Тулинг хрен бы с ним

IDEA так умеет делать, кстати. Наверное, Rider тоже будет уметь ?

IDEA в райдере ни делает ничего, кроме отображения. Тут вопрос умеет ли R# это делать.

Компайл тайм куда важнее

Странно, чет сообщения подвисают и отправляются через несколько минут повторно. А иногда сразу дублируются.

Юзаю веб-версию телеги

@fvnever А Scalike работает на этих хитрых строковых литералах?

Странно, чет сообщения подвисают и отправляются через несколько минут повторно. А иногда сразу дублируются.

Это в веб-интерфейсе? У меня тоже такое было частенько. В реальности в чате мы не видим от тебя дублирующихся сообщений.

@fvnever А Scalike работает на этих хитрых строковых литералах?

И на интерполяции, ага.

Угу.

У меня так винфоновский клиент работает

@fvnever Хорошая фича, я бы хотел что-то такое в F#.

С другой стороны, конечно, уже есть провайдеры.

Провайдеры делают вторую половину работы. Тоже очень важную.

@fvnever А давай подробнее.

ИМХО, две ключевых фичи должно быть - compile time sql check и автомаппинг на типы

И сразу жить станет веселей и проще

@fvnever За что в scalike отвечает интерполяция и sql литералы?

Особенно если еще типы выводить из sql query result

@fvnever А давай подробнее.

ScalikeJDBC не делает компил-тайм валидации. Это только фреймворк для конструирования и параметризации запросов. Умеет композировать их из кусочков и подставлять параметры за счёт интерполяции. И всё.

http://stackoverflow.com/questions/30753512/intellij-idea-syntax-highlighting-of-sql-inside-java-code

@fvnever Я правильно понимаю, что мы можем сделать аналог в F#, но без интерполяции? Но через printf-like функции.

Так что это фишка IDEA, а не решарпера. И она там есть

@fvnever Я правильно понимаю, что мы можем сделать аналог в F#, но без интерполяции? Но через printf-like функции.

Ну только с учётом того, что свой printf делается очень по-хакерски :)

Я бы не сказал.

Норм, вот это то что нужно. SQLProvider — добро :)

К сожалению, там не все конструкции запросов пока поддерживаются. Вот, например, недавно с такой проблемой столкнулся: https://github.com/fsprojects/SQLProvider/issues/396 + ещё с groupBy дела не очень. В результате, перешёл на http://fsprojects.github.io/FSharp.Data.TypeProviders

Вот сейчас решил ещё попробовать http://fsprojects.github.io/FSharp.Data.SqlClient/ Читал, что его где-то реально использовали/используют. И что типа он хорош. Кстати, вероятно, тут есть кто-то, кто может поделиться мнением о нём?

Ну я попробовал. В Bulk insert умеет

Мы его в проекте юзаем, пока нареканий ннт

Ща время будет, попробую в продакшне

Мы его в проекте юзаем, пока нареканий ннт

А что у вас за проект? Расскажите!

АРМ для нефтянки

На F#?! Ох нифига!

АРМ для нефтянки

Лол, тоже пишем АРМ для нефтянки)

Ну я попробовал. В Bulk insert умеет

Некруто, конечно. Но, к счастью, пока insert не нужен. Но нужно учесть проблемку, спасибо. :)

Лол, тоже пишем АРМ для нефтянки)

А я только для морга пока что :(

Некруто, конечно. Но, к счастью, пока insert не нужен. Но нужно учесть проблемку, спасибо. :)

Умеет. В обычный тоже умеет

У меня ща просто сильно подгорает

1.5 тб диск на сервере в 2017, как это больно :(

Ну на f# маленькие кусочки,т.к. f# толкнул совсем недавно и приложение на wpf

То, что на f# отрабатывало 10 секунд с балк инсертом

На NHibernate процессилось пару часов

И это удручает

Ну балк инсерт можно было и на голом afo.net сделать

?

Как, впрочем, и размер кода

Тут не заслуга f#

Не заслуга

Но заслуга в автогенеренных типах

Умеет. В обычный тоже умеет

Оу. Я изначально прочитал "умер" вместо "умеет". Прошу прощения.

Ну да, только вот из-за erasure приходится писать обертки для информации Европа с c#

Так что лично мне Sql provider сильно понравился

Работы с с#*

Правда, если импользуете spatial types

в базе

Придется поприседать :)

Продолжаю читать учебник по фишарпу. Возник такой вопрос. Как понимать это выражение? let rec listLength theList = match theList with | [] -> 0 | [_] -> 1 | [_; _] -> 2 | [_; _; _] -> 3 | hd :: tail -> 1 + listLength tail Я уже читал про сопоставление с образцом. Мне непонятно что такое hd :: tail. Кажется это что-то связанное со списками, но все равно чет никак не пойму...

ERROR: S client not available

стандартное представление списка

стандартное представление списка

подробнее можно??

hd - первый элемент списка tail - оставшийся список

hd - первый элемент списка tail - оставшийся список

я в курсе, я не понимаю что это значит в контексте выражения сопоставления

Еще можно посмотреть на List.head

Ну это значит, что больше 3 элементов

Звучит воодушевляюще. Спасибо. :)

Мы его в проекте юзаем, пока нареканий ннт

АРМ для нефтянки

Судя по предыдущим матчерам

hd и tail это что переменные???

Ну да

ну точнее константы)

я в курсе, я не понимаю что это значит в контексте выражения сопоставления

Значит, что в выражении hd :: tail -> ... , после стрелки у тебя будет доступно значение hd с первым элементом списка и значение tail с остальным списком

я в курсе, я не понимаю что это значит в контексте выражения сопоставления

Смотри: список можно сопоставлять с образцом не только при помощи [_; _], но и при помощи оператора ::. Это такой же матчер, как квадратные скобки. [a; b; c] это сахар для a :: b :: c :: []!

а зачем там ::

Это cons

а зачем там ::

Квадратные скобки не умеют сматчить список произвольной длины. [a; b] это список длины 2, и всё тут. А вот a :: tail это список любой длины больше 0.

:: - типа оператор добавления элемента в список

:: - типа оператор добавления элемента в список

Вот именно. А тут то вроде нету никакого добавления

Правильнее всё-таки назвать его "конструктором списка"

И тогда появляется аналогия с конструкторами union'ов.

Вот именно. А тут то вроде нету никакого добавления

Ну как нет. Это то, что называется deconstruction вроде

Черт, не понимаю... ?

Правильнее всё-таки назвать его "конструктором списка"

Это по Хаскеллевски, что навряд ли поможет пониманию для незанакомого с ФП.

Ну мне так видится,по крайней мере.

Поэтому и написал "типа оператор". :)

Вот именно. А тут то вроде нету никакого добавления

Использование всех этих паттернов тут следует понимать как "объект, сконструированный выражением таким-то". Например, под паттерн [a; b] подходит объект, сконструированный этим выражением — например, [1; 2]. В этом случае hd :: tail — это объект, сконструированный с помощью конструктора списка. Например, 1 :: [2; 3; 4] является таким объектом, и потому подходит под этот паттерн.

x :: xs - по смыслу то же самое, что и [x] @ xs, где @ - оператор конкатенации списков, а xs - список.

:: - типа оператор добавления элемента в список

Это немного не правда, :: - это конструктор на самом деле

Ну не то же самое, а производит тот же результирующий список.

Это немного не правда, :: - это конструктор на самом деле

Я уже сказал ?