GHCi 中提示和加载文件之间的不同默认行为

Question

所以我的问题是：

1)（这更具体，与我遇到的问题有关）我如何知道数字的默认类型，即 GHCi 中目前使用的 default (T1, ...) 中的 Ts？

2) 有没有办法让输入代码和加载代码在 GHCi 中的行为始终相同？ （不包括与键入代码在 IO Monad 中运行这一事实相关的差异）例如，我不应该包含某种扩展名（例如，ExtendedDefaultRules），以便文件中的代码完全按照提示运行.

3) 我如何调用 GHC 和 GHCi 以便相同的代码无论是通过 GHC 还是 GHCi 运行都显示相同的行为？ （假设我加载一个应用程序的主文件并在 GHCi 中输入 run main）

谢谢

Answer 1

关于第 3 点：

您可以使代码在ghc 和ghci 中以完全相同的方式运行： 只使用纯函数和安全函数。通过这样做，您知道优化或副作用不会因实现而显示任何不同的行为（如您链接的问题中所示）。

不需要特殊标志。如果你不遵循这个建议，那么就没有任何标志可以让你获得你想要的。

关于第2点：

您可以让 ghci 重新编译每个文件并使用解释器版本而不是加载由 ghc 编译的二进制文件，这样您就可以确保代码的行为就像由 ghci 键入而不是由 ghc 编译。使用:reload 命令强制重新编译。

---

关于类型和默认设置（第 1 点）：

GHCi 默认使用扩展默认规则，在here 中进行了描述。

标准默认规则基本上只默认“数字”（即Num、Fractional 等）。扩展规则能够为 Eq、Ord 和 Show 等内容设置默认类型。

请注意，使用ExtendedDefaultRules 时隐含的默认声明是：

default ((), Integer, Double)

因此，基本上，任何“免费”Eq 或 Ord 约束都默认为 ()。

因此您可以简单地指定ExtendedDefaultRules 或NoExtendedDefaultRules 来准确指定您想要的默认类型。

这可以通过将编译指示放入源文件{-# LANGUAGE <extension-name> #-} 或在使用ghc 编译时指定-X<extension-name> 或使用GHCi 指令:set -X<extension-name> 来完成。

---

正如 dfeur 所指出的，ghci 和 ghc 之间有一个根本的区别：ghci 必须能够在插入时完全推断输入文本的类型。因此，显然，您必须安排声明，以便函数不会引用未定义的名称。

此外，类型默认值将应用于每个语句，这意味着，与单态限制一起（参见：What is the monomorphism restriction? 和 https://wiki.haskell.org/Monomorphism_restriction），ghci 可能会推断出比ghc 推断出的单态类型更多的单态类型。代码。

您可能希望在使用 GHCi 时使用 NoMonomorphismRestriction（尽管最新版本的 ghci 默认禁用它）并且可能也在您的文件中。