語法模塊選件

Question

我試圖與一個可選的地圖類型：

module CharMap = Map.Make(Char) 
type trie = bool * CharMap.t option 

但是這會導致一個語法錯誤：

Error: The type constructor CharMap.t expects 1 argument(s), 
     but is here applied to 0 argument(s) 

我在做什麼錯？

Answer 1

CharMap.t是地圖從char到'a，所以實際上它的類型是'a Charmap.t，讓你忘記指定多態性的說法。所以，你應該寫：

type 'a trie = bool * 'a CharMap.t option 

如果你希望你的地圖是單態（例如char -> int），你可以這樣寫：

type trie = bool * int CharMap.t option