Хотя как я сейчас понимаю эти два подхода не плохо комбинируются

ща

Более общим выглядит все же варирант request responce момент, анпишу где-нидь

они не эквивалентны в том, что в его концепции одно событие может иметь несколько обработчиков, и каждый сам решает, хендлить или нет. а тут придётся дублировать код в ветках матча

Хотя как я сейчас понимаю эти два подхода не плохо комбинируются

А как ты предагаешь сделать string -> TGUCommand option?

А как ты предагаешь сделать string -> TGUCommand option?

let parse str = ... string -> TGCommand

А как ты предагаешь сделать string -> TGUCommand option?

Но это не крутой подход, подход req-responce гориздо лушче все же.

let parse str = ... string -> TGCommand

ты мне реализацию покаж ?

ты мне реализацию покаж ?

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

Супернавино match strList with | ["/start"] -> Start |["/say"; word ] -> Say word | ["/add"; x; y] -> (int.parse x, int parse y) |> Add

если становится сложнее, то подключаем какой-нибудь Fparsec

type Schdule = | StartCron of CronExpression | GetNextTimeCron | StopCron | InfoCron type TGCommand = | Start | Showstat | Cron of Schdule let resultSatisfies predicate msg (p : Parser<_, _>) : Parser<_, _> = let error = messageError msg fun stream -> let state = stream.State let reply = p stream if reply.Status <> Ok || predicate reply.Result then reply else stream.BacktrackTo(state) // backtrack to beginning Reply(Error, error) let str s : Parser<string, unit> = pstring s let pToString p = p |>> fun x -> x.ToString() let prange p = pipe3 p (pchar '-') p (fun a _ c -> sprintf "%s-%s" a c) let plist (p : Parser<'a, _>) = sepBy1 p (pchar ',') |>> fun x -> System.String.Join(",", x) let plapse (p1 : Parser<'a, _>) (p2 : Parser<'b, _>) = pipe3 p1 (pchar '/') p2 (fun a _ c -> sprintf "%s/%s" a c) let pstar : Parser<string, unit> = pstring "*" let pquestionMark : Parser<string, unit> = pstring "?" let pintMinMax min max = pint32 |> resultSatisfies (fun x -> x <= max && x >= min) (sprintf "This value must be %d-%d" min max) let [ pfiftyNineS; ptwentyThreeS; pthirtyOneS; pelevenS; psevenS ] : list<Parser<string, unit>> = [ pToString (pintMinMax 0 59) pToString (pintMinMax 0 23) pToString (pintMinMax 1 31) pToString (pintMinMax 0 11) pToString (pintMinMax 1 7) ] let pcronPart (p : Parser<string, unit>) = choice [ attempt (plapse pstar p) attempt (plapse p p) attempt (prange p) (plist p) pstar p ] let [ pSecOrMin; pHours; pDaysOfMonth; pMonth; pDayOfWeek ] = [ pcronPart pfiftyNineS pcronPart ptwentyThreeS (pquestionMark <|> pcronPart pthirtyOneS) pcronPart pelevenS (pquestionMark <|> pcronPart psevenS)] let pipe6sep p1 p2 p3 p4 p5 p6 func = p1 >>= fun a -> (unicodeSpaces1 >>. p2) >>= fun b -> (unicodeSpaces1 >>. p3) >>= fun c -> (unicodeSpaces1 >>. p4) >>= fun d -> (unicodeSpaces1 >>. p5) >>= fun e -> (unicodeSpaces1 >>. p6) >>= fun f -> preturn (func a b c d e f) let pcron : Parser<string, unit> = pipe6sep pSecOrMin pSecOrMin pHours pDaysOfMonth pMonth pDayOfWeek (fun sec min h dom m dow -> System.String.Join(" ", [ sec; min; h; dom; m; dow ])) let pstartCmd botname = str ("/start" + botname) <|> str "/start" >>% Start let pshowstatCmd botname = str ("/showstat" + botname) <|> str "/showstat" >>% Showstat let pcronGetTime = str "get time" >>% GetNextTimeCron let pcronStop = str "stop" >>% StopCron let pcronInfo = str "info" >>% InfoCron let pcronExpression = pcron >>= (fun x -> try (x |> CronExpression) |> Schdule.StartCron |> preturn with :? System.FormatException as fe -> fail (fe.Message)) let pcronCmd botname = (str ("/cron" + botname) <|> str "/cron") >>. unicodeSpaces1 >>. (pcronExpression <|> pcronGetTime <|> pcronStop <|> pcronInfo ) |>> fun x -> Cron(x) let pcommand (botname : string) = unicodeSpaces >>. ((pstartCmd botname) <|> (pcronCmd botname) <|> (pshowstatCmd botname))

type Schdule = | StartCron of CronExpression | GetNextTimeCron | StopCron | InfoCron type TGCommand = | Start | Showstat | Cron of Schdule let resultSatisfies predicate msg (p : Parser<_, _>) : Parser<_, _> = let error = messageError msg fun stream -> let state = stream.State let reply = p stream if reply.Status <> Ok || predicate reply.Result then reply else stream.BacktrackTo(state) // backtrack to beginning Reply(Error, error) let str s : Parser<string, unit> = pstring s let pToString p = p |>> fun x -> x.ToString() let prange p = pipe3 p (pchar '-') p (fun a _ c -> sprintf "%s-%s" a c) let plist (p : Parser<'a, _>) = sepBy1 p (pchar ',') |>> fun x -> System.String.Join(",", x) let plapse (p1 : Parser<'a, _>) (p2 : Parser<'b, _>) = pipe3 p1 (pchar '/') p2 (fun a _ c -> sprintf "%s/%s" a c) let pstar : Parser<string, unit> = pstring "*" let pquestionMark : Parser<string, unit> = pstring "?" let pintMinMax min max = pint32 |> resultSatisfies (fun x -> x <= max && x >= min) (sprintf "This value must be %d-%d" min max) let [ pfiftyNineS; ptwentyThreeS; pthirtyOneS; pelevenS; psevenS ] : list<Parser<string, unit>> = [ pToString (pintMinMax 0 59) pToString (pintMinMax 0 23) pToString (pintMinMax 1 31) pToString (pintMinMax 0 11) pToString (pintMinMax 1 7) ] let pcronPart (p : Parser<string, unit>) = choice [ attempt (plapse pstar p) attempt (plapse p p) attempt (prange p) (plist p) pstar p ] let [ pSecOrMin; pHours; pDaysOfMonth; pMonth; pDayOfWeek ] = [ pcronPart pfiftyNineS pcronPart ptwentyThreeS (pquestionMark <|> pcronPart pthirtyOneS) pcronPart pelevenS (pquestionMark <|> pcronPart psevenS)] let pipe6sep p1 p2 p3 p4 p5 p6 func = p1 >>= fun a -> (unicodeSpaces1 >>. p2) >>= fun b -> (unicodeSpaces1 >>. p3) >>= fun c -> (unicodeSpaces1 >>. p4) >>= fun d -> (unicodeSpaces1 >>. p5) >>= fun e -> (unicodeSpaces1 >>. p6) >>= fun f -> preturn (func a b c d e f) let pcron : Parser<string, unit> = pipe6sep pSecOrMin pSecOrMin pHours pDaysOfMonth pMonth pDayOfWeek (fun sec min h dom m dow -> System.String.Join(" ", [ sec; min; h; dom; m; dow ])) let pstartCmd botname = str ("/start" + botname) <|> str "/start" >>% Start let pshowstatCmd botname = str ("/showstat" + botname) <|> str "/showstat" >>% Showstat let pcronGetTime = str "get time" >>% GetNextTimeCron let pcronStop = str "stop" >>% StopCron let pcronInfo = str "info" >>% InfoCron let pcronExpression = pcron >>= (fun x -> try (x |> CronExpression) |> Schdule.StartCron |> preturn with :? System.FormatException as fe -> fail (fe.Message)) let pcronCmd botname = (str ("/cron" + botname) <|> str "/cron") >>. unicodeSpaces1 >>. (pcronExpression <|> pcronGetTime <|> pcronStop <|> pcronInfo ) |>> fun x -> Cron(x) let pcommand (botname : string) = unicodeSpaces >>. ((pstartCmd botname) <|> (pcronCmd botname) <|> (pshowstatCmd botname))

коленочный не аккуратный код

большая часть для того чтоб парсить крон, это от нечего делать.

коленочный не аккуратный код

Закинь на gist или pastebin, потом поизучаю

Закинь на gist или pastebin, потом поизучаю

да-да уже делаю.

https://gist.github.com/Neftedollar/6ea29f7ff8b848a799d3445778a76471'

https://gist.github.com/Neftedollar/6ea29f7ff8b848a799d3445778a76471'

ОК, но с подсветкой кода было бы лучше

ОК, но с подсветкой кода было бы лучше

мой первй гист, как включить подсветку?

мой первй гист, как включить подсветку?

наверно надо было дать файлу имя с расширение .fs

расширения файла укажи, типо yoba.fs

спасибо, я думал он поймет по fs что там fs ) надо было fs.fs написать

спасибо, я думал он поймет по fs что там fs ) надо было fs.fs написать

_.fs конечно же ?

спасибо, я думал он поймет по fs что там fs ) надо было fs.fs написать

pstring это из Fparsec?

pstring это из Fparsec?

Да. http://www.quanttec.com/fparsec/reference/charparsers.html#members.pstring

Да. http://www.quanttec.com/fparsec/reference/charparsers.html#members.pstring

а на какой строке закачивается код парсинга?

а на какой строке закачивается код парсинга?

поясни?

а на какой строке закачивается код парсинга?

pstring "/start" вернет тебе Parser<string,_> если я правильно понял вопрос

поясни?

Не важно. А где у тебя в коде используется TGCommand Самое смешное что я сначала тоже сделал: type Action = List | Help | Add of string | Remove of string и переводил строку с начало в Action, потом уже его паттернматчил. Но во время очердного рефакторинг мне показалось это лишним действием и я дропнул его. И теперь PM прям строку

Не важно. А где у тебя в коде используется TGCommand Самое смешное что я сначала тоже сделал: type Action = List | Help | Add of string | Remove of string и переводил строку с начало в Action, потом уже его паттернматчил. Но во время очердного рефакторинг мне показалось это лишним действием и я дропнул его. И теперь PM прям строку

let msg = run (Parser.pcommand botname) message.Text match msg with | Success(result, _, _) -> match result with | Parser.Start -> replyTo "Привет! Я бот блалалалал! Отправь мне /showstats /cron 'тут параметры cron'" | Parser.Showstat -> CronJob.job api message.Chat.Id message.MessageId | Parser.Cron cron -> cronHandler api message replyTo cron | Failure(errMsg, a, b) -> replyTo ("`" + errMsg + "`")

let msg = run (Parser.pcommand botname) message.Text match msg with | Success(result, _, _) -> match result with | Parser.Start -> replyTo "Привет! Я бот блалалалал! Отправь мне /showstats /cron 'тут параметры cron'" | Parser.Showstat -> CronJob.job api message.Chat.Id message.MessageId | Parser.Cron cron -> cronHandler api message replyTo cron | Failure(errMsg, a, b) -> replyTo ("`" + errMsg + "`")

А в чем прикол использовать команды, начинающиеся с / ?

все. Дальше уже type Schdule = | StartCron of CronExpression | GetNextTimeCron | StopCron | InfoCron используется

Спасибо за помощь, буду раскуривать

Спасибо за помощь, буду раскуривать

Посмотри все же как сделано в suave.io

@Dolfik или почитай книжку что я сбросил, там основы на пальцах объясняются

Спасибо за помощь, буду раскуривать

https://suave.io/routing.html вот тут пример того как потом можно было бы этот запрос от тг обрабатывать

@Dolfik или почитай книжку что я сбросил, там основы на пальцах объясняются

книжка полезная, да. ее прям стоит почитать

@Dolfik или почитай книжку что я сбросил, там основы на пальцах объясняются

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

кстати как бонус в FParsec яполучил сообщение об ошибке парсинга ) оч удобно)

оно там довольно умное

А в чем прикол использовать команды, начинающиеся с / ?

все команды начинаются же на / если ты боту еще ничего не писал.

А ещё такой вопрос, F# на .Net Core использует кто? У меня в 2015/2017 проект так и не получилось открыть, я так понял они поддержку ещё не допилили

А ещё такой вопрос, F# на .Net Core использует кто? У меня в 2015/2017 проект так и не получилось открыть, я так понял они поддержку ещё не допилили

@angmarr

А ещё такой вопрос, F# на .Net Core использует кто? У меня в 2015/2017 проект так и не получилось открыть, я так понял они поддержку ещё не допилили

Накати на VSCode расширение Ionide-fsharp создай проект командой dotnet new console --language f# и в бой ?

все команды начинаются же на / если ты боту еще ничего не писал.

Я просто у того же botfather вижу подсказки, я думал может это как-то связано.

Я просто у того же botfather вижу подсказки, я думал может это как-то связано.

ну да. набери тут в пустом поле / и увидишь список комманд комбота. В ботфаезере можно эти команды указать и тогда будет "автокомплит", команды ботфазер принимает только с лидирующим /

кстати, F# для телеграм-ботов еще не плох тем, что можно на каждый чат создавать например по актору(да в C# тоже можно но только с помощью тяжеловесной akka.net) и там например хранить состояние чата, например если писать бота для игры в крестики нолики.

Привет, всем новоприбывшим. В файлах чата можно найти полезные книги.

https://twitter.com/kot_2010/status/847163223660990464

кстати, F# для телеграм-ботов еще не плох тем, что можно на каждый чат создавать например по актору(да в C# тоже можно но только с помощью тяжеловесной akka.net) и там например хранить состояние чата, например если писать бота для игры в крестики нолики.

Я так понимаю оно сбросится при рестарте, поэтому не очень хорошо

Если будешь апдейт бота делать, все состояния слетят

Я так понимаю оно сбросится при рестарте, поэтому не очень хорошо

при рестарте процесса, да. Но так и задать initial state можно.

если же рассматривать вариант акторы для чатботов в целом, то мне кажется это очень удобно. А если использовать akka.net или Orleans/Orleankka то там и слой персистентности сразу добавлен в реализацию акторов.

Как в F# красиво сделать что-то типа такого list.Max(f => f.Id)?

Как в F# красиво сделать что-то типа такого list.Max(f => f.Id)?

list |> List.maxOf (fun x -> x.Id) как-то так

list |> List.maxOf (fun x -> x.Id) как-то так

Надо кстати придумать более коротки синтаксис, когда что-то происходит с полем объекта, а то это часты кейс, а выходит длиннее чем в C# типа: list |> List.maxOf _.id |> ... Сейчас можно делать module l = List, что бы писать list |> l.maxOf (fun x -> x.Id)

У меня так получилось для IEnumerable

updates |> Seq.map (fun x -> x.Id ) |> Seq.max

list.Select(f => f.Id).Max() для C#

list.Select(f => f.Id).Max() для C#

на самом деле maxOf используется очень редко. А для краткости например чтоб избежать fun x -> x уже сделали ф-цию id

на самом деле maxOf используется очень редко. А для краткости например чтоб избежать fun x -> x уже сделали ф-цию id

таких много надо в стандартную библиотеку глянуть

на самом деле maxOf используется очень редко. А для краткости например чтоб избежать fun x -> x уже сделали ф-цию id

Может maxBy? maxOf вроде нет такого

Может maxBy? maxOf вроде нет такого

да, спасибо

Надо кстати придумать более коротки синтаксис, когда что-то происходит с полем объекта, а то это часты кейс, а выходит длиннее чем в C# типа: list |> List.maxOf _.id |> ... Сейчас можно делать module l = List, что бы писать list |> l.maxOf (fun x -> x.Id)

тебе никто не запрещает использовать System.Linq в F#

@angmarr https://github.com/fsharp/fslang-suggestions/issues/506

Есть такое предложение.

тебе никто не запрещает использовать System.Linq в F#

А это не костыльно?

А это не костыльно?

по мне так не нужно, но если хочется, почему нет?

@angmarr https://github.com/fsharp/fslang-suggestions/issues/506

Я просто вспомнил что в Scala есть что-то похоже, там вообще жесткий синтаксис на сокращение лябмд

тебе никто не запрещает использовать System.Linq в F#

Чет не очень предложение ?

Чет не очень предложение ?

ну так да) Это я к тому, что не в паре символов счастье)

Так можно и до какого-нибудь J докатится

ну так да) Это я к тому, что не в паре символов счастье)

Ну когда у тебя весь код состоит из |> (fun x -> x...) - задумаешься

Ну когда у тебя весь код состоит из |> (fun x -> x...) - задумаешься

надо просто использовать именованные ф-ции по мне так

+

хотя да, иногда подбешивает fun , но в целом нормально)

list |> List.maxOf (fun x -> x.Id) как-то так

Тогда уж let id x=x.Id list|>List.maxBy id

https://gist.github.com/Dolfik1/1b7957240813eff28c161c3572203a72

Это ужасно, да?

Как-то в шарповом стиле,я бы сказал

а почему ты не хочешь воспользоваться событиями?

https://gist.github.com/Dolfik1/1b7957240813eff28c161c3572203a72

Циклы это не по ФП

а почему ты не хочешь воспользоваться событиями?

Я пока пытаюсь в целом раздуплиться как это делается

Рекурсию надо.

Я пока пытаюсь в целом раздуплиться как это делается

не, я про библиотеку которую ты используешь.

Рекурсию надо.

Но только хвостовую ?

не, я про библиотеку которую ты используешь.

Не совсем понимаю о чём речь, у меня пока только библиотека бот апи используется, больше ничего не цеплял

Не совсем понимаю о чём речь, у меня пока только библиотека бот апи используется, больше ничего не цеплял

вот в ней и есть события

Там seq.filterby,seq.iter хватит

Ну и try надо преобразовывать,конечно

вот в ней и есть события

А, ты про Telegram.Bot видимо, она кривовата

А, ты про Telegram.Bot видимо, она кривовата

а, ок

вот в ней и есть события

Ты уверен, я не нашел (может конечно плохо искал)

Ты уверен, я не нашел (может конечно плохо искал)

в Telegram.Bot точно есть

В ней проблема с переиспользованием HttpClient

https://github.com/MrRoundRobin/telegram.bot/issues/281

Разработчик не фиксит, PR не принимает, поэтому забил на неё