如何创建无Ok类型参数的F# Result替代类型并解决编译器冲突？

当你定义了自定义的Result<'E>类型后，编译器会优先使用当前作用域内的这个类型，导致和F#内置的Result<'T, 'E>冲突。除了重命名自定义类型，还有以下几种解决方式：

1. 显式指定内置Result的完整命名空间 #

F#内置的Result类型位于Microsoft.FSharp.Core命名空间下，你可以通过完整限定名来明确使用内置类型：

// 定义自定义Result
type Result<'E> =
| Ok
| Error of ErrorValue: 'E

// 使用内置Result时，通过完整命名空间指定返回类型
let getBuiltInOkResult () : Microsoft.FSharp.Core.Result<unit, string> = Ok ()

// 或者在创建错误值时显式指定内置类型
let builtInError = Microsoft.FSharp.Core.Result.Error<unit, string>("出错了")

这样编译器就能准确识别你要使用的是内置的双泛型Result，而非自定义的单泛型版本。

2. 为内置或自定义Result创建类型别名 #

你可以给其中一个类型起别名，通过别名来区分使用：

// 给内置Result起别名
type BuiltInResult<'T, 'E> = Microsoft.FSharp.Core.Result<'T, 'E>

// 自定义Result保持原名
type Result<'E> =
| Ok
| Error of ErrorValue: 'E

// 使用内置Result时用别名
let useBuiltIn () : BuiltInResult<unit, string> = Ok ()

// 使用自定义Result时直接用原名
let useCustom () : Result<string> = Result.Ok

也可以反过来，给自定义Result起别名，保留内置Result的默认使用方式。

3. 将自定义Result封装到模块中 #

把自定义的Result类型放到独立模块里，使用时通过模块前缀访问，避免和全局作用域的内置Result冲突：

module CustomResult =
    type Result<'E> =
    | Ok
    | Error of ErrorValue: 'E

// 使用自定义Result时加上模块前缀
let useCustom () : CustomResult.Result<string> = CustomResult.Result.Ok

// 使用内置Result时直接使用，不受影响
let useBuiltIn () : Result<unit, string> = Ok ()

这种方式不需要修改类型名称，通过模块隔离来解决作用域冲突问题。

内容的提问来源于stack exchange，提问作者Matthew MacFarland