Это часть синтакса  while

не. я про тот, который перед while

Не нужен

может, потому что конструкция (while…) внутри скобок объявлена?

Ну вот непонятно зачем, опять же

типа как анонимная функция получается. и do нужен, чтобы ее запустить

Кто-то строки экономил

хм

вот полный кот

type MutablePair<'T, 'U>(x : 'T, y : 'U) =
   let mutable currentX = x
   let mutable currentY = y
   member p.Value = (currentX, currentY)
   member p.Update(x, y) =
       // Race condition: This pair of updates is not atomic
       currentX <- x
       currentY <- y

let p = new MutablePair<_, _>(1, 2)
do Async.Start (async {do (while true do p.Update(10, 10))})
do Async.Start (async {do (while true do p.Update(20, 20))}

вот первый do не понятно нафига. второй наверное понятно

ну второй точно понятно - это часть while exp do

не не не. я про этот do

do (while true do ..) // который в самом начале. он не часть синтаксиса while

только непонятно тогда почему там 1 do, вроде правильно было бы

while true do 
    do! p.Update(10,10)

я так понимаю, что так как while обернут в скобки, то это получается анонимная функция, которая сама не запускается. а do нужен, чтобы ее запустить

while true do 
    do! p.Update(10,10)

там там Update не асинхронная. поэтому do! это будет ошибка

а смысл тогда от этой конструкции вообще?

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

а вот как она решается

do Async.Start (async { do (while true do lock p (fun () -> p.Update(10,10))) })
do Async.Start (async { do (while true do lock p (fun () -> p.Update(20,20))) }

но меня заинтересовали первый do, нафига он

а, возможно Async.Start не запускается сам по себе и возвращает таск, который запускается через do.