F # evaluación de miembro de registro

Question

¿Por qué se evalúa t.b en cada llamada? ¿Y hay alguna forma de hacer que se evalúe solo una vez?

type test = 
    { a: float } 
    member x.b = 
    printfn "oh no" 
    x.a * 2. 

let t = { a = 1. } 
t.b 
t.b 

Answer 1

Es una propiedad; Básicamente estás llamando al miembro get_b().

Si desea que el efecto ocurra una vez con el constructor, se puede usar una clase:

type Test(a:float) = 
    // constructor 
    let b = // compute it once, store it in a field in the class 
     printfn "oh no" 
     a * 2. 
    // properties 
    member this.A = a 
    member this.B = b 

Answer 2

Una versión alternativa de la respuesta de Brian que evaluará b como máximo una vez, pero no lo evaluará en todos si no se usa nunca B

type Test(a:float) = 
    // constructor 
    let b = lazy 
       printfn "oh no" 
       a * 2. 
    // properties 
    member this.A = a 
    member this.B = b.Value 

Answer 3

en respuesta a sus comentarios en el post de Brian, que se puede fingir récord de copiar y actualización de las expresiones que utilizan argumentos opcionales/con nombre. Por ejemplo:

type Person(?person:Person, ?name, ?age) = 

    let getExplicitOrCopiedArg arg argName copy = 
     match arg, person with 
     | Some(value), _ -> value 
     | None, Some(p) -> copy(p) 
     | None, None -> nullArg argName 

    let name = getExplicitOrCopiedArg name "name" (fun p -> p.Name) 
    let age = getExplicitOrCopiedArg age "age" (fun p -> p.Age) 

    member x.Name = name 
    member x.Age = age 

let bill = new Person(name = "Bill", age = 20) 
let olderBill = new Person(bill, age = 25) 

printfn "Name: %s, Age: %d" bill.Name bill.Age 
printfn "Name: %s, Age: %d" olderBill.Name olderBill.Age 

Answer 4

Las respuestas anteriores sugieren cambiar a una clase, en lugar de usar un registro. Si desea quedarse con los registros (por su sencilla sintaxis y la inmutabilidad), puede tomar este enfoque:

type test = 
    { a : float 
     b : float } 
    static member initialize (t: test) = 
     { t with b = t.a * 2. } 

Esto es útil si la instancia de test es creado por otra biblioteca (como un proveedor de datos de una web servicio o base de datos). Con este enfoque, debe recordar pasar cualquier instancia de test que reciba de esa API a través de la función de inicialización antes de usarla en su código.