小编jsp*_*kes的帖子

我根据Scott Wlaschin 博客中的信息建立了一个成功/失败的monad,并提供了这个堆栈溢出帖子的额外帮助.我最终得到了一个类型

type Result<'a> = 
| Success of 'a
| Error of string

我现在意识到这相当于F#中的Choice,而且是在haskell中.我想重用代码而不是保留自己的代码,但是只想更改实现而不必更改现有代码.我想使用我现有的名字以及Choice的实现.(或者可能是fsharpx中扩展的选择.)

我试过了

type Result<'a> = Choice<'a, string>
let Success = Choice1Of2
let Error = Choice2Of2

这几乎可以工作,但是当我在匹配中使用Error时,我收到错误"模式鉴别器'错误'未定义.

    match getMetaPropertyValue doc name with
    | Error msg -> ()
    | Success value -> value