expresiones de cálculo personalizada en F #

Question

He estado jugando con las mónadas en Fa # (también conocido como expresiones de cálculo) y yo escribimos este simple mónada Identidad:

type Identity<'a> = 
    | Identity of 'a 

type IdentityBuilder() = 
    member x.Bind (Identity v) f = f(v) 
    member x.Return v = Identity v 
let identity = new IdentityBuilder() 

let getInt() = identity { return Int32.Parse(Console.ReadLine()) } 

let calcs() = identity { 
    let! a = getInt() // <- I get an error here 
    let! b = getInt() 
    return a + b } 

No entiendo el error que estoy recibiendo en el línea marcada:

se espera que esta expresión para tener identidad tipo < 'a> pero aquí tiene tipo' b * 'c

Creo que esto no tiene sentido como getInt() i s claramente un valor de tipo Identity<'a>.

¿Alguien puede decirme qué estoy haciendo mal?

Answer 1

La sintaxis de expresión de cálculo quiere que Bind tenga un argumento tupled, no curried. Así

member x.Bind((Identity v), f) = f(v) 

Ver this article para todas las firmas.

Answer 2

El problema es el tipo de su función Bind - no debería tomar argumentos curried. Si lo cambia a:

member x.Bind (Identity v, f) = f(v) 

entonces debería funcionar.