类型的替代？

Question

哈斯克尔程序员.使用F#.F#中没有类型类.什么时候我需要类型类？

Answer 1

请按照某人的建议查看此信息.

我认为简短的回答是通过操作词典(正如Haskell所说的那样;实例的证人).

或者更改设计,这样就不需要类型类.(这总是让人感到痛苦,因为类型组是有史以来最好的东西而且很难让它们落后,但是在Haskell和类型类出现之前,人们仍然设法在没有类型类的情况下以某种方式编程了40年,所以那些人做了同样的事情.)

您还可以通过inline静态成员约束获得一些方法,但这很快就会变得难看.

这是一个操作字典示例:

// type class
type MathOps<'t> = { add : 't -> 't -> 't; mul: 't -> 't -> 't }  //'

// instance
let mathInt : MathOps<int> = { add = (+); mul = (*) }

// instance
let mathFloat : MathOps<float> = { add = (+); mul = (*) }

// use of typeclass (normally ops would the 'constraint' to the left of 
// the '=>' in Haskell, but now it is an actual parameter)
let XtimesYplusZ (ops:MathOps<'t>) x y z =   //'
    ops.add (ops.mul x y) z

printfn "%d" (XtimesYplusZ mathInt 3 4 1)
printfn "%f" (XtimesYplusZ mathFloat 3.0 4.0 1.0)