Этот код: type Result = Success of string
type Tracer() =
member x.Bind(p: Result, rest: (string -> Result)) =
match p with
| Success s -> rest s
let tracer = new Tracer()
let t =
Я играл с монад в F # (ака вычисления выражений), и я написал эту простую Удостоверение монады: type Identity<'a> =
| Identity of 'a
type IdentityBuilder() =
member x.Bind (Identity v) f =