F#不可变类Interop

Question

F#immutable类型如何与C#接口.我刚刚开始学习F#,我想把它与我的一些C#代码混合在一起,但我希望我的F#类是不可变的.

假设我们在F#中创建了一个Vector类.Vector.X和Vector.Y应该是可重新赋值的,但只返回一个新的Vector类.在C#中,这需要花费大量的工作量.WithX(float x)克隆现有对象并返回一个新对象.在F#中有一种简单的方法吗？

我一直在寻找一些时间,我似乎无法找到任何关于此的文档.所以任何帮助都会很棒.

最后,如果我将这个类导入C#,它的界面会是什么样的？F#代码是否会限制我做一些愚蠢的事情Vector.X = 10？

Answer 1

无论是C#还是F#,这看起来都很相似.

你说"在C#中它会需要腿部工作",但我认为是cmon

Vector WithX(float x) { return new Vector(x, this.Y); }

这样对吗？

在C#和F#中,为了防止赋值给X属性,你要创建一个带有'getter'但没有'setter'的属性.

我认为你所做的一切都比现在更难,或者我误解了你的要求.

编辑

对于(我认为罕见的)有20个字段的情况,你可能想要改变它们的一小部分,我发现一个可爱的黑客很好地使用F#和C#可选参数.

F#代码:

namespace global

open System.Runtime.InteropServices

type Util =
    static member Some<'T>(x:'T) = Some x

type MyClass(x:int, y:int, z:string) =
    new (toClone:MyClass, 
         [<Optional>] ?x, 
         [<Optional>] ?y, 
         [<Optional>] ?z) = 
            MyClass(defaultArg x toClone.X, 
                    defaultArg y toClone.Y, 
                    defaultArg z toClone.Z)
    member this.X = x
    member this.Y = y
    member this.Z = z

F#客户端代码:

let a = new MyClass(3,4,"five")
let b = new MyClass(a, y=44)  // clone a but change y

C#客户端代码:

var m = new MyClass(3, 4, "five");
var m2 = new MyClass(m, y:Util.Some(44)); // clone m but change y

也就是说,可选参数是一种很好的方法,虽然C#可选参数有一些限制,但您可以以一种适用于C#的方式公开F#可选参数,如上所述.

Answer 2

F#记录类型有内置的方式来完成你所要求的:

type Vector = {X:float; Y:float}

let v1 = {X=1.; Y=2.}
let v2 = {v1 with X=3.}

如何与C#进行交互,我不确定(编辑:请参阅Brian的评论).

Vector将是任何.NET语言都不可变的,因为X和Y实现为没有setter的getter.