Телеграмм чат группы Fsharp

вот смотри пример с монадой

// The whileLoop operator.
// This is boilerplate in terms of "result" and "bind".
let rec whileLoop pred body =
if pred() then body |> bind (fun _ -> whileLoop pred body)
else result ()

источник

13:49пожаловаться #9

ДБ

Дмитрий Башинский... in F# Chat

Vasily Shapenko

Ну у меня смутно осталось в памяти, что такое делал Рикардо Терелл в акке на квотейшнах

Поищу, спасибо

источник

13:49пожаловаться #10

Ayrat Hudaygulov in F# Chat

у тебя нет монады, у тебя просто дсл для ICollection, который возвращает unit в каждом действии

источник

13:49пожаловаться #11

IdiocyAcceptance in F# Chat

Ayrat Hudaygulov

Ну, я это всё смотрел

источник

13:50пожаловаться #12

IdiocyAcceptance in F# Chat

допустим, с for всё ясно - есть seq, есть forBody

источник

13:50пожаловаться #13

IdiocyAcceptance in F# Chat

а при этом у while есть pred, но нет whileBody

источник

13:50пожаловаться #14

IdiocyAcceptance in F# Chat

я хз где он

источник

13:50пожаловаться #15

Ayrat Hudaygulov in F# Chat

{ while expr do cexpr }
раскрывается в
builder.While(fun () -> expr, builder.Delay({ cexpr }))

источник

13:50пожаловаться #16

IdiocyAcceptance in F# Chat

типа он заинлайнился до цикла самого вообще

источник

13:51пожаловаться #17

IdiocyAcceptance in F# Chat

из-за нулевого делея

источник

13:51пожаловаться #18

IdiocyAcceptance in F# Chat

и всё, body пропал

источник

13:51пожаловаться #19

Ayrat Hudaygulov in F# Chat

то есть твой

while x > 0 do
yield x
x <- x - 1

раскроется в
if x > 0 then
builder.Delay(fun () -> builder.Yield x; x <- x -1)

делей заинлайнится
if x > 0 then
builder.Yield x
x <- x -1

Yield заинлайнится

if x > 0 then
this.Add x
x <- x -1

источник

13:52пожаловаться #20