Làm thế nào tôi có thể tìm thấy kích thước của `bản đồ` trong ocaml? Tôi đang sử dụng 'Map.Make` functor để tạo mô-đun?

Question

Tôi không thể tìm thấy bất kỳ chức năng size hoặc len nào trong tài liệu chính thức. Thế nào là một cách đơn giản để tìm số phần tử trong một bản đồ tạo bằng:

module M = Map.Make(String)

Tôi đang tìm kiếm một cái gì đó giống như M.size M.empty : 0.

Answer 1

Chức năng mà bạn đang tìm kiếm được gọi là cardinal (như trong bản số của tập hợp).

Ví dụ:

module M = Map.Make(String) 

let m = M.singleton "x" "y" 
let() = Printf.printf "%d\n" (M.cardinal m) 

này sẽ in 1, như có chính xác là một ràng buộc.

Answer 2

hoogle4ocaml ": 'a t -> int$" | grep -i map 

sẽ cho bạn biết:

~/.opam/4.05.0/lib/ocaml/map.mli: val cardinal: 'a t -> int 

Cf. https://github.com/UnixJunkie/hoogle_for_ocaml