單態限制，ghci和let表達

Question

該表達式不正確。

f = show 

然而，在ghci的這是合法的

let f = show 

而且，其類型更改爲

() -> String 

是否有這種現象的任何解釋？

Answer 1

ghci提示行爲就好像啓用了ExtendedDefaultRules擴展。

特別地，這意味着：

該單元類型（）被添加到乾式違約時都試過的類型 標準列表的開始。

因此，要獲得從源文件相同的行爲，無論是與-XExtendedDefaultRules編譯，或添加{-# LANGUAGE ExtendedDefaultRules #-}到文件的頂部。