如何消除選擇器功能的歧義？

Question

在GHC 8：

{-# LANGUAGE DuplicateRecordFields #-} 

data Dog = Dog { name::String } 
data Human = Human { name::String } 

dog = Dog "Spike" 


main = putStrLn $ name dog 

此代碼不能編譯：

Ambiguous occurrence `name' 
It could refer to either the field `name', defined at A.hs:4:22 
         or the field `name', defined at A.hs:3:18 

如何正確取回我的狗的名字嗎？

Answer 1

這應該工作：

main = putStrLn $ name (dog :: Dog) 

看到DuplicateRecordFields的詳細信息：

領域的裸用途僅指選擇器功能，並且只工作，如果這是毫不含糊的。

和

然而，我們並不推斷出參數的類型來確定數據類型，或有推遲的選擇約束求解器的任何方式。

的例子有很多像你這樣的：

bad (p :: Person) = personId p

時，有一個在範圍personId領域的又一紀錄這是不行的 - 即使它似乎是顯而易見:(