OCaml中

Question

从地图扩展模块我有给定类型String函子Map.Make内置模块StringMap：

module StringMap = Map.Make(String) 

除了由Map所规定的正常运作，我想在此模块中增加更多的定义，例如，my_own_function，这样我可以拨打StringMap.my_own_function。有谁知道我应该在哪里定义这种功能和他们的签名？

Answer 1

您可以在新模块中使用include关键字来添加所有相同的功能。这也延伸到signature in OCaml 3.12。

module StringMap = 
    struct 
     include Map.Make(String) 
    end 

如果您要访问的地图结构，你就必须添加一些Obj.magic或%identity特殊外部函数。该类型的重新定义必须准确，因为没有类型检查正在发生，

module Make (Ord : Map.OrderedType) = 
    struct 
     include Map.Make(Ord) 

     type 'a impl = Empty 
        | Node of 'a impl * key * 'a * 'a impl * int 

     external impl_of_t : 'a t -> 'a impl = "%identity" 
     external t_of_impl : 'a impl -> 'a t = "%identity" 

     let cardinal map = 
      let rec cardinal = function 
       | Empty -> 0 
       | Node(l,_,_,r,_) -> cardinal l + 1 + cardinal r 
      in 
      cardinal (impl_of_t map) 

    end