哈斯克尔：什么是警告“变量隐因情境量化”是什么意思？

Question

在这条线

type SafeReturn a = Exception e => Either e a 

我得到这个警告

Variable ‘e’ is implicitly quantified due to a context 
Use explicit forall syntax instead. 

是什么意思？

Answer 1

您的类型同义词，你还没有处理一个免费类型的变量。要采取极端的例子，如果我们删除您a参数，我们不得不像

type SafeReturn = [e] -- Using a * -> * type instead of a * -> * -> * type 

这可能不是你想要的，因为我们不知道确切地知道e指的是在这里，这是你的SafeReturn面临的同样的问题; e是什么意思？

现在有一个背景，其中e可能意味着一些东西，这就是错误消息告诉你。

type SafeReturn a = forall e. Exception e => Either e a 

这意味着不同的东西。事实上，你在这里创建了一个普遍量化的类型。这意味着，SafeReturn a类型的东西有没有检查e比Exception可供任何方法等的方法。