Гм.

@fvnever Вот, например, ты.

А, блин, он спит уже, наверное.

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

Помните, что в F# таких типов нет, так что решение будет наверняка костлявое.

@fvnever Я вон нарисовал, как Царьпалис учил!

Да, я уже посмотрел. Стоит такое делать или нет — зависит от того, какая проблема решается.

@Kleidemos ^

@Kleidemos ^

Когда я это задумывал, я предполагал нечто вроде string -> comparison . То что было предложено, мне в данном конкретном случае точно не подходит. Но схоронил. Спасибо.

@DarkByte2016 Привет.

привет

Ну шо запилим ссылки из C# <==> F#?

@angmarr Ссылки?

В описание чата (с C# предложили)

У нас кстати опечатка в описание ? (поправил)

В описание чата (с C# предложили)

Почему нет?

@Kleidemos Как вариант, конечно, можно сделать type Projector = string -> IComparable но тут тоже информация о типах теряется.

Ну, и это не тоже самое, что comparison, конечно.

@Kleidemos Как вариант, конечно, можно сделать type Projector = string -> IComparable но тут тоже информация о типах теряется.

Пока сделал так, вроде массивы в качестве результата не планируются.

Есть такой C# метод: AddWithValue(string key, object value) Как его вызывать в F#? Я так понимаю list.AddWithValue |> "a" "b" - но это не работает

AddWithValue("a","b")

AddWithValue("a","b")

The result of this expression is implicitly ignored. Consider using 'ignore' to discard this value explicitly, e.g. 'expr |> ignore', or 'let' to bind the result to a name, e.g. 'let result = expr'.

С |> ignore как-то коряво выглядит

Ну можно не писать

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

Возвращаемый метод имеет тип unit просто

Ладно, попробую обёртку написать

Для игнорирования используется ignore

Всё равно убого выглядит

На вкус и цвет фломастеры разные, в общем-то

Ну блин, у меня очень уродливые Insert в бд получаются через ADO.NET

dapper?

Ну так через dapper вроде вставки не делаются?

Там используется обычный Execute

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

Ну вообще в целом не красиво получается: command.Parameters.AddWithValue("FirstName", user.FirstName) |> ignore command.Parameters.AddWithValue("LastName", user.LastName) |> ignore ...

ну враппер напиши

let addParam command param value=commad.Parameters.AddWithValue(param,value)|>ignore

Можно красивее, если command возвращать

Тогда добавление параметров в цепочку пайплайнов уходит

А как красиво можно сделать что-то типа Dictionary? Чтобы передавать просто key: string, value: object

Разверни суждение, вопроса не поняд

Ну вот у меня в качестве параметров передаются ключ/значение

Щас

https://gist.github.com/Dolfik1/1253b3bdb7f789d9d4c492aeefbd8b8b

Типа такого набросал

Но оно не работает из-за разных типов видимо

Ну и хотелось бы услышать варианты как это лучше/правильнее сделать можно

param|>Seq.iter (fun x-> addParam command x.Key,x.Value)

Ну это да, а передачу самой Map

This expression was expected to have type 'int64' but here has type 'DateTime'

А, эта фигня

Делается через функции

обойти можно через Dictionary<string,obj>

Map немного не для того

Тогда уж IDictionary.

Ну можно и так

+ Если обращение позволяет вывести тип, проще передавать (string * obj) list .

seq

С Dictionary получается так: dict ["TelegramMessageId", messageId :> obj; "Message", messageText :> obj; "Date", messageDate :> obj; "UserChatUserId", userId :> obj]

Или тут при любых раскладах нужно в obj конвертировать?

При любых

Или let d= new Dictionary<string,obj?)

Береги типы смолоду!

d.Add("TelegramMessageId",messageId) etc

Не, уж лучше :> obj

Пусть будут смайлики в коде

Ну я бы все же упаковал добавление в отдельные функции

Можно заменить messageId :> obj на box messageId

messageId|>box :)

В этом месте |> не смотрится.

@neftedollar сделали ссылки ?

Ещё тупенький вопрос. Есть функция, возвращающая Option<obj>, если в возвращённом объекте есть значение, нужно вернуть его, иначе вызвать другую функцию, которая уже непосредственно obj вернёт. Можно конечно через if then сделать, но может есть другие варианты?

Option.defaultWith

Или let d= new Dictionary<string,obj?)

Используйте ''' для кода)

А в F# есть какие-то фишечки для работы со строками? Или только стандартные методы .Net?

А в F# есть какие-то фишечки для работы со строками? Или только стандартные методы .Net?

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

А в F# есть какие-то фишечки для работы со строками? Или только стандартные методы .Net?

Есть модуль String. В нем есть несколько особых операций.

@Dolfik Есть набор функций для статически типизированного форматирования строк. Ну, всякие sprintf, bprintf, ksprintf...

Можно заменить messageId :> obj на box messageId

Посмотрите ещё на upcast. Иногда он позволяет более изящный код.

Есть такой код: let user = (Repository.getUser data.Connection telegramId) |> Option.defaultWith (fun x -> Repository.createUser data.Connection bla bla bla) getUser возвращает Option(null), но defaultWith не вызывается. Или Option(null) не считается за None?

Есть такой код: let user = (Repository.getUser data.Connection telegramId) |> Option.defaultWith (fun x -> Repository.createUser data.Connection bla bla bla) getUser возвращает Option(null), но defaultWith не вызывается. Или Option(null) не считается за None?

А какой там конструктор? Если 'Some null' то он никак не может быть None

Ну по сути да, там Some(null)

Через if then в таком случае делать?

Ну по сути да, там Some(null)

По мне так это Some + null - это взаимоисключающие понятия Ты не можешь просто None вернуть?

Возвращаю не я, а Dapper

С Option удобнее работать, поэтому хочу его использовать

С Option удобнее работать, поэтому хочу его использовать

Могу только предложить сделать обертку ( https://fsharpforfunandprofit.com/posts/the-option-type/ ) match x with | null -> None | value -> Some value

Или Option.ofObj и Option.ofNullable

Ну в таком случае получается "The type 'ChatUser' does not have 'null' as a proper value"

Ну в таком случае получается "The type 'ChatUser' does not have 'null' as a proper value"

Покажи код

Так работает let SomeNull (x: obj) = match x with | null -> None | value -> Some value

Без типа не захотело

Но это не очень, ибо тогда тип возвращаемый ломается

Покажи код

https://gist.github.com/Dolfik1/e1d2755e924abc332c9e76185a89492a

Проблема по всей видимости в том, что в F# записи не могут быть null