为什么 List 结构中的某些函数需要 "List" 前缀，而有些则不需要？
why do some functions in the List structure require the "List" prefix and some do not?
（我正在使用 SML/NJ）
列表结构http://sml-family.org/Basis/list.html包括
@、hd、tl、null、concat 等
其中一些不带前缀即可使用：@、hd、tl、[]、concat。
但其他的，例如 exists 和 nth 需要 List 前缀。见下文：
Standard ML of New Jersey v110.79 [built: Tue Aug 8 23:21:20 2017]
- op @;
val it = fn : 'a list * 'a list -> 'a list
- concat;
val it = fn : string list -> string
- nth;
stdIn:3.1-3.4 Error: unbound variable or constructor: nth
- exists;
stdIn:1.2-2.1 Error: unbound variable or constructor: exists
- List.nth;
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[library $SMLNJ-BASIS/(basis.cm):basis-common.cm is stable]
[autoloading done]
val it = fn : 'a list * int -> 'a
- List.exists;
val it = fn : ('a -> bool) -> 'a list -> bool
为什么？我试图在 "Definition of Standard ML (1997)" 中找到答案
但我找不到与此相关的任何内容。
有些名称可以使用非限定名称，因为它们也绑定在 SML Basis 库的顶级环境中，包括您列出的名称。有关完整列表，请参阅 here。
（我正在使用 SML/NJ）
列表结构http://sml-family.org/Basis/list.html包括 @、hd、tl、null、concat 等
其中一些不带前缀即可使用：@、hd、tl、[]、concat。 但其他的，例如 exists 和 nth 需要 List 前缀。见下文：
Standard ML of New Jersey v110.79 [built: Tue Aug 8 23:21:20 2017]
- op @;
val it = fn : 'a list * 'a list -> 'a list
- concat;
val it = fn : string list -> string
- nth;
stdIn:3.1-3.4 Error: unbound variable or constructor: nth
- exists;
stdIn:1.2-2.1 Error: unbound variable or constructor: exists
- List.nth;
[autoloading]
[library $SMLNJ-BASIS/basis.cm is stable]
[library $SMLNJ-BASIS/(basis.cm):basis-common.cm is stable]
[autoloading done]
val it = fn : 'a list * int -> 'a
- List.exists;
val it = fn : ('a -> bool) -> 'a list -> bool
为什么？我试图在 "Definition of Standard ML (1997)" 中找到答案 但我找不到与此相关的任何内容。
有些名称可以使用非限定名称，因为它们也绑定在 SML Basis 库的顶级环境中，包括您列出的名称。有关完整列表，请参阅 here。