Symbolism库重载了算术运算符。虽然它是用 C# 编写的,但我可以从 F# 中使用它:
open Symbolism
let x = new Symbol("x")
let y = new Symbol("y")
let z = new Symbol("z")
printfn "%A" (2*x + 3 + 4*x + 5*y + z + 8*y)
输出:
3 + 6 * x + 13 * y + z
但是,它也使权力超载^
。这当然不适用于 F#。
作为解决方法的一步,我为权力导出了一个方法组:
printfn "%A" (Aux.Pow(x, 2) * x)
输出:
x ^ 3
如何重载**
以使用Aux.Pow
方法组?
我可以做这样的事情:
let ( ** ) (a: MathObject) (b: MathObject) = Aux.Pow(a, b)
这确实适用于MathObject
价值观:
> x ** y * x;;
val it : MathObject = x ^ (1 + y)
但是Aux.Pow
也超载int
:
public static MathObject Pow(MathObject a, MathObject b)
{ return new Power(a, b).Simplify(); }
public static MathObject Pow(MathObject a, int b)
{ return a ^ new Integer(b); }
public static MathObject Pow(int a, MathObject b)
{ return new Integer(a) ^ b; }
欢迎任何建议!