Haskell映射鍵的類型決定值的類型的地圖

Question

有沒有一種方法可以使用Data.Map，使得值的類型取決於鍵的類型？我需要確保我從不在地圖中輸入錯誤的類型值。

例如： 比方說，我有類型KeyType a和ValType a 那麼地圖應該有類似的類型

Map (KeyType a) (ValType a)

但是，這顯然是行不通的，因爲a未綁定。

Answer 1

可以使用一種類型的代名詞綁定a，以便它必須是相同的您KeyType和ValType：

type MapFor a = Map (KeyType a) (ValType a) 

現在你可以使用MapFor a（對於某些特定a）任何地方，你會一直使用Map (KeyType a) (ValType a)。