如何在OCaml中打开List模块但不导入List.t类型？

OCaml 本身没有类似 Haskell import List hiding (t) 的直接语法，但可以通过以下几种方式实现需求：

1. 局部限定打开模块 #

在需要使用列表函数的代码块中用 List.(...) 包裹，既能直接调用 length、map 等函数，又不会全局引入 List.t 类型：

let double_elements lst =
  List.(
    let len = length lst in
    Printf.printf "List length: %d\n" len;
    map (fun x -> x * 2) lst
  )

2. 自定义不含 t 类型的包装模块 #

创建仅导出 List 模块函数、不导出 t 类型的自定义模块，之后打开该模块即可：

module ListNoT = struct
  include (List : sig
    val ( @ ) : 'a list -> 'a list -> 'a list
    val length : 'a list -> int
    val map : ('a -> 'b) -> 'a list -> 'b list
    val fold_left : ('acc -> 'a -> 'acc) -> 'acc -> 'a list -> 'acc
    // 按需添加你常用的其他列表函数
  end)
end

open ListNoT

// 此处可直接使用 length、map 等函数，不会引入 List.t
let example = map (fun x -> x + 1) [1;2;3]

若需要完整的 List 函数集，可将 List 模块签名中除 type 'a t 外的所有内容复制到上述签名内。

3. 局部别名替代全局打开 #

如果只是嫌前缀冗长，可给 List 定义短别名，既减少输入量，又不会引入 t 类型：

module L = List

let example = L.map (fun x -> x * 3) [4;5;6]

内容的提问来源于stack exchange，提问作者Adam Dingle