如何指定批量列表類型分配

Question

我有下面的代碼看起來像這樣

[a,b,c,d] = ["a","b","c","d"] 

編譯器報告警告：

Warning: Definition but no type signature for 'a' 
     Inferred type: a :: [Char] 

如何沉默警告，並指定類型這個表達？

Answer 1

在GHCI沒有錯誤：

Prelude> let [a,b,c,d] = ["a","b","c","d"] 

如果你想給整個片段的類型，嘗試，

Prelude> let x :: [String] 
        x@[a,b,c,d] = ["a","b","c","d"] 

您使用哪種編譯

Answer 2

您可以爲變量添加一個明確的類型簽名：

a, b, c, d :: String 
[a,b,c,d] = ["a","b","c","d"] 

還應該有一個禁用警告，因爲它是常見的做法是沒有明確指定類型的每一個輔助變量的一些編譯器標誌。