Erweitern eines Objekts mit einer Schnittstelle durch einen Objektausdruck

Question

Ist es möglich, ein Objekt in F # mithilfe eines Objektausdrucks mit einer Schnittstelle zu dekorieren? ZB:

type IFoo = abstract member foo : string 
type IBar = abstract member bar : string 
let a = { new IFoo with member x.foo = "foo" } 

/// Looking for a variation on the below that does compile, the below doesn't 
let b = { a with 
      interface IBar with 
       member x.Bar = "bar" } 

Answer 1

Sie können ein Objekt nicht mit einer Schnittstelle zur Laufzeit verlängern, aber man kann es wickelt mit einem anderen Objekt:

let makeB (a: IFoo) = 
    { 
     new IFoo with 
      member x.foo = a.foo 
     interface IBar with 
      member x.bar = "bar" 
    } 


let a = { new IFoo with member x.foo = "foo" } 
let b = makeB a