OCAML中定义名为option的归纳类型时出现语法错误，求原因

嘿，我来帮你理清为啥在OCaml里创建名为option的归纳类型会触发语法错误！

OCaml的标准库已经内置了一个名为option的预定义归纳类型，这是OCaml里最常用的基础类型之一，用来表示“存在值/不存在值”的场景。你直接重复定义这个名字，会和标准库的类型产生命名冲突，编译器自然会报错。

先看标准库的option定义 #

默认情况下，OCaml已经帮你定义好了这个类型，它的源码逻辑大概是这样的：

type 'a option = None | Some of 'a

你可能写的错误代码示例 #

如果你的代码是这样的：

type 'a option = None | Some of 'a

编译器会抛出类似Error: Multiple definition of the type name option.的错误提示。

两种解决方案 #

1. 换个自定义类型名 #

最简单的办法是给你的类型换个独特的名字，比如my_option或者custom_option：

type 'a my_option = None | Some of 'a

这样就能正常编译使用了。

2. 用模块封装保留原名 #

如果你特别想保留option这个名字，可以把它放到自定义模块里，模块内部的类型会屏蔽外部的标准库类型：

module CustomOption = struct
  type 'a option = None | Some of 'a
end

# 使用时加上模块前缀即可
let example : CustomOption.string option = CustomOption.Some "hello"

这样既满足了你想用option命名的需求，又不会和标准库的类型冲突。

内容的提问来源于stack exchange，提问作者John Dunn