С помощью SqlCommandProvider

Если писать руками , то у нас две точки входа - sql - файлы плюс обертка на каждый

Если же обертку генерить стандартно, то точкой входа и источником генерации является SQL, подложенный в конкретную папочку

Или дерево папок

Ну напиши батник, который тебе F#-код сгенерит

Лущ powershell.

Батник мне тут не особо поможет

Потому как нужен compile-time check

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

Vasily Ты хочешь провайдер, который, используя другие провайдеры, будет генерировать типы?

Лущ powershell.

Чувак, ты в FSharp-канале.

Vasily Ты хочешь провайдер, который, используя другие провайдеры, будет генерировать типы?

Бинго

Чувак, ты в FSharp-канале.

Ну не батники же делать..

Да, это интересно.

Батник, который запускает fsi.exe generate-code.fsx

Vasily Ты хочешь провайдер, который, используя другие провайдеры, будет генерировать типы?

Точнее, на базе дерева файлов будет генерить нужную иерархию типов

Ага.

С помощью других type-providers

СЛОЖНА, я бы кодогенерил.

Тогда ORM можно смело выкидывать нах

СЛОЖНА, я бы кодогенерил.

Я бы не стал, это дополнительный уровень геморроя

Сторонняя кодогенерация -- это не очень удобно, я думаю.

в одной из орм видел T4 для генерации c# классов

Нунах

Это не то

почему сторонняя? .fsx лежит в этом же проекте, genereate-code.fsx запускается в pre-build скрипте

Это все поддерживать надо. :)

Я просто не знаю, насколько классно у тебя получится из тайп-провайдера генерить типы, которые юзают другие тайп-провайдеры

Во-во

А type-provider написать типа проще?

Ну, это несложно.

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

Ну ты писал, да?

А type-provider написать типа проще?

Его написал один раз, отладил, и все

@pavelhritonenko Да, писал.

Дальше - забота компилятора

И что, можно отдавать методы, в которых другие тайп-провайдеры используются?

В смысле можно подобные типы генерить из тайппровайдера?

А вот это не знаю. Давайте попробуем?

Доберусь до дома, проведу эксперимент.

Я бы попробовал

http://fsprojects.github.io/FSharp.Data.SqlClient/configuration%20and%20input.html

Раздел Overriding connection string at run-time

В т.ч. поможет

Это...вопрос более приземленный: какой самый правильный способ борьбы с null? А то у меня с isNull лыжи что-то не едут

Some

Точнее Option

Option.ofNull - но будь осторожен, это структура

let nullToOption x = let result = isNull x match result with | true -> None | _ -> Some(x)

возвращает мне null

В смысле Option - это не структура, поэтому если пол лярда в память положишь, GC будет работать

let nullToOption x = let result = isNull x match result with | true -> None | _ -> Some(x)

https://github.com/jack-pappas/ExtCore

https://github.com/jack-pappas/ExtCore/blob/42d629bc434248f77c2a8fc663b92167079d071f/ExtCore/Pervasive.fs#L821

Vlad @pavelhritonenko Option.ofObj

Это в F# 4.1, да?

Сегодня в паравозе поеду - посмотрю что там нового

Вроде нет.

А, даже в 4.0

Да, 4.0

В 4.1 добавили вот эти функции. https://github.com/Microsoft/visualfsharp/pull/1781

Мы 3.1 использовали долго, по привычке ExtCore референшу.

let replyToMessage = Option.ofObj textMessage.ReplyToMessage

replyToMessage : null

это апи телеграма, ReplyToMessage - свойство. не могу найти проблему что-то

Не очень понятно, что ты хочешь

ReplyToMessage может быть null, пытаюсь его обернуть в Option через Option.ofObj

как результат имею не Option, а null

почему - понять пока не могу

ReplyToMessage может быть null, пытаюсь его обернуть в Option через Option.ofObj

Option.ofObj возаращет null?

да.

Эмм, такое разве возможно?

Vlad А как проверяешь, что там null?

Vlad а дженерики в C# (точнее в .NET) появились только затем, что они нужны были Дону Сайму в F#

Не совсем так. Дон принимал участие в разработке генериков для CLR, вот и всё. Для всех языков. Они потом появились в C# и F#. Ну, потому что они же не могут появиться в языке раньше чем в среде :)

Vlad Просто, например, None отображается в REPL как <null>. Старая история, кажется @fvnever ишшуй заводил на эту тему.

Чувак, ты в FSharp-канале.

А я люблю смешивать F# и повершелл! Даже тайп-провайдер для этого есть :3

Microsoft (R) F# Interactive version 4.1 Copyright (c) Microsoft Corporation. All Rights Reserved. > let (str: string) = null;; val str : string = null > Option.ofObj str;; val it : string option = None

Хм, починили уже? Отлично. :)

Давай тогда дальше думать.

Microsoft (R) F# Interactive version 4.1 Copyright (c) Microsoft Corporation. All Rights Reserved. > let (str: string) = null;; val str : string = null > Option.ofObj str;; val it : string option = None

А ты возьми у него GetType!

Vlad Просто, например, None отображается в REPL как <null>. Старая история, кажется @fvnever ишшуй заводил на эту тему.

Я заводил не про отображение, а про NRE при None.GetType().

Про отображение там уже был баг, и он только в хитрых случаях так криво отображается.

А починили, кажется, только отображение.

> None.GetType();; System.NullReferenceException: Object reference not set to an instance of an object. at <StartupCode$FSI_0004>.$FSI_0004.main@() Stopped due to error

Кажется, ничего не починили :(

Кстати, вот оригинал (вроде не было) полюбившегося видео про "болонхил" ? Спикер Mark Seemann, тот же что и про "from DI to Dep. rejection" https://youtu.be/US8QG9I1XW0

Vlad Просто, например, None отображается в REPL как <null>. Старая история, кажется @fvnever ишшуй заводил на эту тему.

Debug.WriteLine <| sprintf "%A" replyToMessage » <null>

Vlad Не, это фигня. :)

<null> - это None

Там None.

кхм.

Верь нам.

> sprintf "%A" None;; val it : string = "<null>"

Кстати, вот оригинал (вроде не было) полюбившегося видео про "болонхил" ? Спикер Mark Seemann, тот же что и про "from DI to Dep. rejection" https://youtu.be/US8QG9I1XW0

Ну, "наш" спикер всё-таки и из других докладов видео скомпоновал, так что я бы всё-таки не стал его ругать :) Да, этого видео ещё не было, я себе добавлю в список на просмотр. Спасибо.

Ну, "наш" спикер всё-таки и из других докладов видео скомпоновал, так что я бы всё-таки не стал его ругать :) Да, этого видео ещё не было, я себе добавлю в список на просмотр. Спасибо.

Ну да, я в процессе просмотра, просто оно тоже начинается с ball & hill

Кстати, папир про дженерики в .Net -- это 2001 год.

С примерами на C#.

Самые ранние упоминания об F#, которые я находил, это 2002 год.