哈斯克爾：什麼是警告「變量隱因情境量化」是什麼意思？

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可供任何方法等的方法。