Question

B. 采用优惠制和成员限制我无法为已知成员打上uck锁,但如果我这样界定一种通用功能的话:

let rap

带有签字b和“>”的标识;返回价值将成为实施a(即接口)并将电话转.的一个物体。

我在C#中利用反思这样做。我不禁要问,F#的思考、引言或其他构造是否会更容易。

关于如何做到这一点的任何建议?

EDIT after reading Tims answer I thought I d give a bit more details

我在谈到利用引言帮助时所想的是:

{new IInterface with member x.SayHello() = !!<@ %expr @>}

! 经营人将报价转化为功能,从业者占该方法工作单位的百分比。我能够将这一表述转化为一种功能(我猜测),但会不知道如何去做。

当然,这只字眼完全是这样,要么因为伊联会是我希望F#思考会有一些手法功能,这样我就能够建造一种基于某种物体和某些功能价值观的类型。

EDIT As an update to Tomas Petricek answer I ll give some code to explain my needs

type SourceRole =
   abstract transfer : decimal -> context

and context(sourceAccount:account, destinationAccount) =
   let source = sourceAccount
   let destination = destinationAccount

   member self.transfer amount = 
     let sourcePlayer = 
       {new SourceRole with
          member this.transfer amount =
              use scope =  new TransactionScope()
              let source = source.decreaseBalance amount
              let destination = destination.increaseBalance amount
              scope.Complete()
              context(source,destination)
              }
     sourcePlayer.transfer(amount)

which is a try at porting "the" textbook example of DCI in F#. The source and destination are DCI roles. It s the idea that any data object that adhere s to a specific contract can play those. In this case the contract is simple. source needs a memberfunction called decreaseBalance and destination needs a member function called increaseBalance. I can accomplish that for this specific case with let inline and member constraints. But I d like to write a set of functions that given an interface and an object. In this case it could be source (as the object) and

type sourceContract = 
   abstract decreaseBalance : decimal -> sourceContract

类型。其结果将是类型源背心的物体,即管道法指源物体上相同名称的方法。

Answer 1

您可使用的部件汇编F#报价。因此,我认为,你可以利用引言来制定和执行法典。如果你写了代表职能和办公室的引书;将它汇编成册,就会获得你可用于实施接口的职能价值。这里是一个三边的例子:

#r "FSharp.PowerPack.Linq.dll"
open Microsoft.FSharp.Quotations
open Microsoft.FSharp.Linq.QuotationEvaluation

// Create a part using "Expr." calls explicitly
let expr = Expr.Value(13)
// Create a part using quotation syntax 
let expr2 = <@ (fun x -> x * %%expr) @>

// Compile & Run
let f = expr2.Compile()()
f 10

您可以将引语拼凑成像,并打电话到Expr,这使得从基本区块中编成编码更为容易。汇编是一种微调(目前),因此所产生的代码与通常的F#代码一样有效(但你需要衡量)。

我不敢肯定,我知道你试图做什么,这样,如果你能够提供更多细节,我可以作出更具体的答复。

Answer 2

F# reflection (Microsoft.FSharp.Reflection) is an F#-phoper around thewang System.Reflection 因此,我认为这不会增加任何内容。

配额可以界定新的类型(需要确定一种新的类型,以进行基于接口的uck打)。

> <@ { new IInterface with member x.SayHello = "hello" } @>;;

  <@ { new IInterface with member x.SayHello = "hello" } @>;;
  ---^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

stdin(7,4): error FS0449: Quotations cannot contain object expressions
> <@ type Test() = class end @>;;

  <@ type Test() = class end @>;;
  ---^^^^

stdin(8,4): error FS0010: Unexpected keyword  type  in quotation literal

反思。汇款仍然是实现这一目标的途径。

<><>Edit>:

我希望F#的思考可能具有一些手法功能,以便我能够构建一种基于某种物体和某种功能价值的模式。

我不敢这样做。 http://msdn.microsoft.com/en-gb/library/ee353491.aspx”rel=“nofollow”http://msdn.microsoft.com/en-gb/library/ee353491.aspx

友情链接