能否以非限定方式导入Option类型的Some/None构造子？

在你使用的ML系语言中，Some和None并不是独立的类型，而是Option这个变体类型的构造器——这就是你之前写法报错的核心原因。下面是两种正确的非限定导入方式：

1. 显式导入指定构造器 #

直接在import语句里列出要导入的构造器名称（不需要加type关键字），同时可以一起导入Option类型：

import option.{Some, None, type Option}

let anOption: Option(Int) = Some(42)
let emptyOpt: Option(String) = None

2. 批量导入所有内容 #

如果想一次性导入option模块里的所有构造器和类型，可以用..语法：

import option.{.., type Option}

let boolOpt: Option(Bool) = Some(true)

要是代码里不需要显式标注Option类型，甚至可以进一步简化：

import option.{..}

let foo = Some("bar")

为什么之前的写法不生效？ #

• import option.{type Some}报错：因为Some不是独立的类型，它是Option变体的一部分，只有Option才是可以用type关键字导入的类型。
• 直接写Some(99)报错：编译器找不到未导入的构造器定义，必须通过限定路径（option.Some）或非限定导入才能使用。

注意事项 #

如果项目中存在同名构造器（比如你自己定义了另一个Some），非限定导入可能会引发命名冲突。这时可以给导入的构造器重命名：

import option.{Some as OptionSome, None as OptionNone, type Option}

let myOpt: Option(Int) = OptionSome(99)

内容的提问来源于stack exchange，提问作者Oliver Marienfeld