haskell - 类型检查器允许非常错误的类型替换，并且程序仍然可以编译

Question

在尝试调试程序中的问题时(使用 Gloss* 将 2 个半径相等的圆绘制为不同的大小)，我偶然发现了一个奇怪的情况。在我处理对象的文件中，我对 Player 有以下定义:

type Coord = (Float,Float)
data Obj =  Player  { oPos :: Coord, oDims :: Coord }

在导入 Objects.hs 的主文件中，我有以下定义:

startPlayer :: Obj
startPlayer = Player (0,0) 10

发生这种情况是因为我添加和更改了玩家的字段，并且忘记更新 startPlayer (其尺寸由表示半径的单个数字确定，但我将其更改为 >坐标 来表示(宽度，高度)；以防万一我将玩家对象设为非圆形)。

令人惊奇的是，尽管第二个字段的类型错误，上面的代码仍然可以编译并运行。

我首先想到也许我打开了不同版本的文件，但是对任何文件的任何更改都会反射(reflect)在编译的程序中。

接下来我想也许 startPlayer 由于某种原因没有被使用。注释掉 startPlayer 会产生编译器错误，更奇怪的是，更改 startPlayer 中的 10 会导致适当的响应(更改播放器的起始大小) 玩家);再次，尽管它的类型错误。为了确保它正确读取数据定义，我在文件中插入了一个拼写错误，它给了我一个错误；所以我正在查看正确的文件。

我尝试将上面的 2 个片段粘贴到它们自己的文件中，结果出现了预期的错误，即 startPlayer 中 Player 的第二个字段不正确。

什么可能导致这种情况发生？您可能会认为这正是 Haskell 的类型检查器应该防止的事情。

<小时/>

* 我最初的问题的答案是，两个半径相等的圆被绘制成不同的尺寸，但其中一个半径实际上是负数。

Answer 1

唯一可能编译的方法是是否存在 Num (Float,Float) 实例。标准库没有提供这一点，尽管您正在使用的库之一可能出于某种疯狂的原因添加了它。尝试在 ghci 中加载您的项目并查看 10::(Float,Float) 是否有效，然后尝试 :i Num 找出实例的来源，然后然后对定义它的人大喊大叫。

附录:无法关闭实例。甚至没有办法不从模块中导出它们。如果这是可能的，将会导致更多令人困惑的代码。这里唯一真正的解决方案是不要定义这样的实例。