alternativa a las clases de tipos?

Question

haskell programador. usando F #. no hay clases de tipos en F #. ¿Qué usar cuando necesito clases de tipo?

Answer 1

Haga check out this como alguien sugirió.

Creo que la respuesta corta es pasar diccionarios de operaciones (como lo haría Haskell bajo el capó, el testigo de la instancia).

O cambie el diseño para que no necesite tipos de clases. (Esto siempre es doloroso, ya que las clases de tipo son lo mejor y es difícil dejarlas atrás, pero antes de que surgieran Haskell y las clases tipográficas, la gente todavía podía programar durante 4 décadas anteriormente sin clases de letra, así que haz lo mismo que hicieron esas personas .)

También puede obtener algunas maneras con inline restricciones de miembros estáticos, pero eso se pone feo rápidamente.

Aquí está un ejemplo de diccionario de operaciones:

// 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)