Expression de calcul n'exécute laissez pas

Question

J'utilise F # v 1.9.6.2, et je l'ai défini une expression de calcul très simple:

type MaybeBuilder() = 
    member this.Let(x, f) = 
     printfn "this.Let: %A" x 
     this.Bind(Some x, f) 
    member this.Bind(x, f) = 
     printfn "this.Bind: %A" x 
     match x with 
     | Some(x) when x >= 0 && x <= 100 -> f(x) 
     | _ -> None 
    member this.Delay(f) = f() 
    member this.Return(x) = Some x 

let maybe = MaybeBuilder() 

J'ai saupoudré des déclarations d'impression dans le code de dire moi quelles méthodes sont appelées dans une expression de calcul. Quand j'exécutez l'instruction suivante:

maybe { 
    let x = 12 
    let! y = Some 11 
    let! z = Some 30 
    return x + y + z 
} 

Je me attends à la console pour imprimer les éléments suivants:

this.Let 12 
this.Bind Some 12 
this.Bind Some 11 
this.Bind Some 30

Mais mes résultats réels sont les suivants:

this.Bind: Some 11 
this.Bind: Some 30

En d'autres termes, F # ne semble pas exécuter le membre Let. Lorsque je réécris Let pour lancer une exception, le code s'exécute sans exception. En outre, lorsque je commente entièrement le membre Let, je ne pas obtenir un message d'erreur indiquant The field, constructor or member 'Let' is not defined et le code s'exécute comme prévu.

(je l'ai essayé enquêter sur le code avec réflecteur, mais comme cela est généralement le cas, décompilé F # est mutilée au-delà de la lisibilité.)

Il semble que le spec for computation expressions a changé. Les liaisons let ne sont-elles plus traitées comme du sucre de syntaxe et les membres Let ne sont-ils plus requis dans les workflows de calcul?

Answer 1

Vous avez eu la réponse vous-même. De l'F# spec qui décrit comment les expressions de calcul sont traduits:

{| let binds in cexpr |}C = let binds in {| cexpr |}C) 

Donc non, vous n'avez pas besoin de définir explicitement laisser plus, il est traduit par le compilateur.

Mise à jour: cette modification est mentionnée dans the detailed release notes of the September CTP.

Answer 2

Correct - vous ne pouvez plus fournir une liaison pour let :(

Answer 3

Voir aussi http://cs.hubfs.net/forums/thread/6950.aspx