А не проще все в строке хранить?

Это плохой вариант

+ будет применим только в этом случае

А бывает ещё InputFile or String

Я просто не понимаю, как с этим типом потом работать?

Я просто не понимаю, как с этим типом потом работать?

Всмысле?

В прямом. Если есть разница, строка это или число, то видимо область применения их не идентична. А если область применения одна, то почему не использовать строку?

let inline Test<'a> (someId: 'a) = match box someId with | :? string -> Some someId | :? int -> Some someId | :? int64 -> Some someId | _ -> None

Вот так работает, но внутри боксинг

Да

так сделай type ChatId = | IntId of int | StringId of string | BigIntId of int64 static member Create(x:int) = IntId x static member Create(x:string) = StringId x static member Create(x:int64) = BigIntId x // Где внутри, не в api let private getIdFromParser (id:obj) = match id with | :? string as x -> ChatId.Create x | :? int as x -> ChatId.Create x | :? int64 as x -> ChatId.Create x //снаружи везде использовать ChatId

Перегрузки создают копипасту)

Не во всех случаях же

1 метод грубо говоря принимает строку и делает дела

А другой дергает тустринг и первый метод

я б такое решение заюзал

те кому надо сделать объект идентификатора, пусть пользуют Create, тебе же matchить надо будет толкьо при отправке сообщения. Все

Вон там даже в C# запилили конструкции private int Sum(int a, int b) => a + b;, наверняка в том числе для упрощенного вызова перегрузок

Итого: полтора часа обсуждаем, как сделать красиво какую-то фигню :D

Это потому что ты не хочешь использвоать контейнер который нужно обрабатывать только на входе и выходе

А бывает ещё InputFile or String

Это не ChatId, а FileId

у тебя в доках прям написано) Сущность идентфикатор чата может быть либо то либо то, тебе же не надо эти айдишники складывать или еще что-то с ними делать, тебе достаточно знать что есть такой ChatId он приходит к тебе снаружи и ты его отдаешь назад. Сначала обернул, потом, в конце, развернул.

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

ParseМode тоже просится в DU

Не во всех случаях же

Там 8 аргументов, копипаста

Там 8 аргументов, копипаста

Это телеграм столько параметров принимает?

Это телеграм столько параметров принимает?

Да

Тогда оставляй

Я сам толком не разобрался ещё чё и как там

Короче, я ещё больше запутался)

Оч похоже на танцы с бубнами на пустом месте ?

Короче, скажите какой вариант будет самый нормальный, и я сделаю его)

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

Народ, а есть какие-нибудь легкие видео-доклады про Computation expression, на тему "как они работают, как написать свой и тд"?

https://github.com/SuaveIO/suave/blob/f0831e3ed00c611f78a04ac30d3a065403470274/src/Suave/Web.fs#L69 вот как suaveio работает с кучей значений. и вот как это выглядит в коде startWebServer defaultConfig (Successful.OK "Hello World!")

Народ, а есть какие-нибудь легкие видео-доклады про Computation expression, на тему "как они работают, как написать свой и тд"?

ты про seq {}?

ты про seq {}?

термин взял отсюда https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/computation-expressions#built-in-workflows

Перепутал с "computation expression"

термин взял отсюда https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/computation-expressions#built-in-workflows

ага.

Там написано) нужно реализовать свой тип c вот этими полями, например https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/computation-expressions#Creating-a-New-Type-of-Computation-Expression

Там написано) нужно реализовать свой тип c вот этими полями, например https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/computation-expressions#Creating-a-New-Type-of-Computation-Expression

Блин, а видео на youtube никакого нет?

@neftedollar Я все еще извращаюсь. :) https://hastebin.com/eduwawajah.fs

Там написано) нужно реализовать свой тип c вот этими полями, например https://docs.microsoft.com/en-us/dotnet/articles/fsharp/language-reference/computation-expressions#Creating-a-New-Type-of-Computation-Expression

https://fsharpforfunandprofit.com/posts/elevated-world/

https://github.com/SuaveIO/suave/blob/f0831e3ed00c611f78a04ac30d3a065403470274/src/Suave/Web.fs#L69 вот как suaveio работает с кучей значений. и вот как это выглядит в коде startWebServer defaultConfig (Successful.OK "Hello World!")

Вообще не понимаю

https://fsharpforfunandprofit.com/posts/elevated-world/

всю серию статьей

@neftedollar Я все еще извращаюсь. :) https://hastebin.com/eduwawajah.fs

а вызывать как?)

@neftedollar show 123

Вообще не понимаю

давай сначала) что тебя смущает?)

давай сначала) что тебя смущает?)

Я просто пытаюсь хоть что-то понять

Такое вообще впервые вижу

это ты далеко зашел. давай с твоего кода.

Ну мне всё то же самое сделать нужно)

И я просто хочу пойти код писать

Скажи мне как сделать)

Я прост немного запутался, сначала мне казалось что проблема в chat_id

Да, chat_id может быть int or string

Снчала нужно описать типы которые есть в документации.

Описал уже

Осталось методы прикрутить

как ты сделал chat_id?

getUpdates и getMe уже сделал, вот второй день пытаюсь придумать как сделать chat_id в sendMessage

не ты не понял, send_message должен работать с теми типами которые ты сделал

А в типах нигде такого нет, только в аргументах, которые в урл как параметр передаётся

давай сначала)

Первое что нужно это описать типы сущностей с которыми ты будешь работать.

https://core.telegram.org/bots/api#available-types

Почти везде тебе нужен chat_id

Ты про это?

Я в общем, но в данном случае да)

Вот в той линке нигде нет Integer or String

Integer or String есть только в вызове методов

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

Увидел.

Тогда у тебя есть два варианта для sendMessage 1. Сделать две разные ф-ции одной на вход string, другой int

потом реализцию примерную напишу.

Тогда у тебя есть два варианта для sendMessage 1. Сделать две разные ф-ции одной на вход string, другой int

Ну перегрузка, да?

Когда к тебе приходят chat_id, ты в курсе какой у него тип?

Когда к тебе приходят chat_id, ты в курсе какой у него тип?

Так в sendMessage программист может указать любой тип

2. Сделать DU только для ф-ции type SendMessage = |ChatId of in |Username of string

Когда к тебе приходят chat_id, ты в курсе какой у него тип?

Приходит только int

sendMessage "@Dolfik" "Hello, world!" sendMessage message.From.Id "Hello, world!"

2. Сделать DU только для ф-ции type SendMessage = |ChatId of in |Username of string

И какой предпочтительней?

И какой предпочтительней?

а можешь сразу оба

С первым вариантом проще тем, кто будет юзать библиотеку (проще вызовы делать), а со вторым мне (меньше кода)?

let sendMessage (id:SendMessage) options = .. let sendMessageId (id:Int) options = sendMessage ChatId(id) options let sendMessageUsername (username:string) = sendMessage Username(username) options

let sendMessage (id:SendMessage) options = .. let sendMessageId (id:Int) options = sendMessage ChatId(id) options let sendMessageUsername (username:string) = sendMessage Username(username) options

https://core.telegram.org/bots/api#forwardmessage

А если так?

Это же 4 перегрузки

подумай об использовании, from_chat_id руками будет задаваться очень редко

И все же я бы сделал даже для Int свою обертку. type ChatId = ChatId of int всегда работаешь с одним типом int не нужен нигде в коде, где нужен let myFunc (ChatId x) = x // а x уже int

Т.е. через du?

Да, с одним значением

И ты предлогаешь его использовать в типе чат, в поле Id, вместо int?

кстати его можно и расширить type ChatId = |ChatId of int member this.forSend() = SendMessage.ChatId (int) //Типа того

А как он будет string принимать?

А как он будет string принимать?

а ему не надо будет )

let sendMessage (id:SendMessage) options = .. let sendMessageId (id:Int) options = sendMessage ChatId(id) options let sendMessageUsername (username:string) = sendMessage Username(username) options

у тебя остается это

кстати его можно и расширить type ChatId = |ChatId of int member this.forSend() = SendMessage.ChatId (int) //Типа того

и это

и это

только теперь вместо let sendMessageId (id:Int) options будет let sendMessageId (id:ChatId) options = sendMessage (id.forSend()) options // приблизительно

@neftedollar Укоротил код как мог.

@neftedollar https://hastebin.com/enopepuzeq.fs

Можно наоборот у SendMessage сделать принимаемый тип ChatId