为什么此功能类型为“不良型”

Question

给定一个带有val add : ’a -> ’a set -> ’a set的接口，为什么输入add 3 [1]时没有键入check？我以为类型是int set

Answer 1

好吧，[1]的类型为int list，而不是int set。如果您在“设置”界面中显示更多信息，我们可能会提供更多帮助。

通常设置的接口具有Set.empty和Set.singleton。因此，您的示例可能被编码为add 3 (singleton 1)或add 3 (add 1 empty)