F # asíncrono - diferencia entre una estructura de dos

Question

¿Hay alguna diferencia entre escribir algo como esto:

MailboxProcessor.Start(fun inbox -> async { 
    let rec loop bugs = 
     let! msg = inbox.Receive() 
     let res = //something 
     loop res 
    loop []}) 

y la escritura de esta manera:

MailboxProcessor.Start(fun inbox -> 
    let rec loop bugs = async { 
     let! msg = inbox.Receive() 
     let res = //something 
     do! loop res } 
    loop []) 

Gracias!

Answer 1

El primer ejemplo no es válido Código F #, porque let! solo se puede usar inmediatamente dentro de la expresión de cálculo. En su ejemplo, lo está usando en una función normal: su cuerpo no es una expresión de cálculo, por lo que let! no está permitido en esa posición.

Para que sea válido, lo que se necesita para envolver el cuerpo de la función loop dentro async:

MailboxProcessor.Start(fun inbox -> async { 
    let rec loop bugs = async { 
     let! msg = inbox.Receive() 
     let res = //something 
     return! loop res } 
    return! loop []}) 

Puede mantener el bloque exterior async { .. } en el fragmento, así - a continuación, sólo tiene que utilizar return! para llamar a su función loop en lugar de simplemente devolverla (pero aparte de eso no hay una diferencia significativa ahora).

Tenga en cuenta que utilicé return! en lugar de do! - esto realmente hace una diferencia, porque return! representa una llamada de cola, lo que significa que el resto del cuerpo actual se puede descartar. Si usa do!, la función asíncrona asigna algo así como un marco de pila en el montón, por lo que al usar do! en una función de bucle recursivo se pierde la memoria.