我们可以将函子作为参数传递给另一个函子吗？

Question

我想知道我们是否可以在模块内部有一个本地模块。如果一个函子可以作为参数传递给另一个函子，就可以实现这一点。但我不确定我们是否可以做到。

如果这是一个模糊的问题，我深表歉意。

谢谢。

Answer 1

是的，可以定义高阶仿函数。这是一个将第一个参数应用于第二个参数的仿函数的简单示例：

module App (F : functor (X: sig end) -> sig end) (X: sig end) = F (X)

然而，这与拥有本地模块的问题无关，本地模块非常简单，不需要仿函数。以下示例定义了一个子模块 B，该子模块 B 对 A 保持私有：

module A : (sig val g : unit -> unit end) = struct
  module B = struct
    let f () = print_endline "Hello"
  end
  let g = B.f
end

let () = A.g ()    (* valid, prints Hello *)
let () = A.B.f ()  (* invalid *)

我们可以将函子作为参数传递给另一个函子吗？

Can we pass functor as an argument to another functor?

ocaml