Я надеюсь, что как-нибудь да можно!

Мне надо создать экземпляр SqlCommandProvider

Подсунув ему ссылку на файл

Понимаю, шо наркомания

Я так и не добрался пока.

Ну я вот ща планирую добраться

Давай. Расскажи потом! :)

Да нет, не наркомания. Вполне себе поиск средства скомпозировать тайп-провайдеры.

Продолжай искать!

Но мне бы скелет Generative type provider

Если не получится — будем пропозал писать.

Просто если тема выгорит, ORM можно выкидывать на помойку

Потому как будем компайл тайм проверка запросов к базе

а обязательно литерал? Просто строковое значение не пойдет?

Я не знаю, взлетит ли строковое

а обязательно литерал? Просто строковое значение не пойдет?

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

Ну вот и я про то

Что надо как-то выкручиваться

Есть, кстати, спосооб

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

Раздел Overriding connection strings in runtime

Но наркомания, канеш

//invoke ctor (^a : (new : string * int -> ^a) (connStr, 30)) это статический конструктор получается?

Похоже на то

@neftedollar Почему статический?

@neftedollar Почему статический?

я пока не разобрался, но все эти типы с ^ обычно со всякими when ^a. Method() и этот Method это обычно статический метод. )

Можно вызывать как статические, так и обычные методы.

Здесь вызывается обычный конструктор.

Это обычный

Можно вызывать как статические, так и обычные методы.

а может быть ^a модулем?

Нет, только типом.

эх. when ^a.bind невозможен(

Хотя в моем случае данная шляпа может и не помочь

Ибо не совсем понятно, где объявлять тип команды

Ковыряю тут код FSharp.Data

https://github.com/fsharp/FSharp.Data/blob/538137111c848572c4cc485bd971414718bfd2d3/src/Net/UriUtils.fs

let enableUriSlashes = id

Что за id?

let id x = x ?

Странный код.

Где это?

Что за id?

Эх ребята, учите теор категорий ?

@angmarr Не хочу, не буду.

Мне обещали, что для ФП не нужно знать теорию категорий. :)

let id x = x ?

Где это?

@Dolfik В стандартной библиотеке.

Эх ребята, учите теор категорий ?

Всему своё время, пока можно обойтись без этого)

@Dolfik В стандартной библиотеке.

Ок, спасибо

В .Net Core это выпилили

В .Net Core это выпилили

только проверил, все на месте

let id x = x это костыль?)

Нет, это я привел определение функции id.

Это не костыль

let id x = x это костыль?)

чтоб не псиать каждый раз seq.map (fun x -> x) пишут seq.map id

Мм, ясно

Значит только в моём случае выглядело как костыль)

let id x = x это костыль?)

это вообще напрямую из haskell взято

let enableUriSlashes = if isMono then id //purifierMono.Force() elif hasBrokenDotNetUri then purifierDotNet.Force() else id

это вообще напрямую из haskell взято

я думаю что додуматься до этого было бы не сложно и без хаскелла)

я думаю что додуматься до этого было бы не сложно и без хаскелла)

скорее всего, кстате сейчас даже в Java8 нашел эквивалент: Function.identity()

let enableUriSlashes = if isMono then id //purifierMono.Force() elif hasBrokenDotNetUri then purifierDotNet.Force() else id

purifierDotNet.Force() возвращает ф-цию?

Тут hasBrokenDotNetUri возвращает false если isMono = false

И получается, что без mono (мой случай) это эквивалентно let enableUriSlashes = id

чтоб не псиать каждый раз seq.map (fun x -> x) пишут seq.map id

Все буквы понимаю по отдельности - но зачем делать мап по айди?

id функция котоаря берет значение и его же возвращает.

в целом Seq.map id много смысла не имеет конечно.

<PropertyGroup Condition=" '$(TargetFrameworkProfile)' == 'Profile47' or '$(TargetFrameworkProfile)' == 'Profile7' or '$(TargetFrameworkProfile)' == 'Profile259' ">

Это для PCL?

id функция котоаря берет значение и его же возвращает.

Ну я понимаю её значение с точки зрения теории (групп, категорий) но на практике не могу вспомнить случая её необходимости

Ну я понимаю её значение с точки зрения теории (групп, категорий) но на практике не могу вспомнить случая её необходимости

я не могу сходу сказать когда ее применять, но применял.

id нужна, чтобы запихивать ее в flip!

Шутка.

id нужна, чтобы запихивать ее в flip!

Бггг

Опять какая-то дичь происходит при сборке

C:\Program Files\dotnet\sdk\1.0.3\Sdks\Microsoft.NET.Sdk\build\Microsoft.NET.Sdk.DefaultItems.targets(165,5): error : Duplicate 'Compile' items were included. The .NET SDK includes 'Compile' items from your project directory by default. You can either remove these items from your project file, or set the 'EnableDefau ltCompileItems' property to 'false' if you want to explicitly include them in your project file. For more information, see https://aka.ms/sdkimplicititems. The duplicate items were: 'Http.fs' [L:\dev\FunHttp\FunHttp.fsproj] Build FAILED. C:\Program Files\dotnet\sdk\1.0.3\Sdks\Microsoft.NET.Sdk\build\Microsoft.NET.Sdk.DefaultItems.targets(165,5): error : Duplicate 'Compile' items were included. The .NET SDK includes 'Compile' items from your project directory by default. You can either remove these items from your project file, or set the 'EnableDefau ltCompileItems' property to 'false' if you want to explicitly include them in your project file. For more information, see https://aka.ms/sdkimplicititems. The duplicate items were: 'Http.fs' [L:\dev\FunHttp\FunHttp.fsproj] 0 Warning(s) 1 Error(s)

Ну почему дичь

Два раза Http.fs включен как Compile

<ItemGroup> <Compile Include="Http.fs" /> </ItemGroup>

В Core разве надо Compile в fsproj прописывать?

Он вроде все файлы в папке берет

You can either remove these items from your project file, or set the 'EnableDefau ltCompileItems' property to 'false' if you want to explicitly include them in your project file

Compile же для другого вроде прописывается?

Для этого самого

Чтобы для компилятора список файлов собрать

У меня в консольном так сделано

И всё ок

В Коре вроде автоматом ща собирается

Так подожди

Компилятору чтобы типы разрулить нужен порядок правильный

Ну это да

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

:D

Жесть

Но у меня 2 файла

всеравно много