在尝试调试程序中的问题时(使用 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 的类型检查器应该防止的事情。
<小时/>*
我最初的问题的答案是,两个半径相等的圆被绘制成不同的尺寸,但其中一个半径实际上是负数。
最佳答案
唯一可能编译的方法是是否存在 Num (Float,Float)
实例。标准库没有提供这一点,尽管您正在使用的库之一可能出于某种疯狂的原因添加了它。尝试在 ghci 中加载您的项目并查看 10::(Float,Float)
是否有效,然后尝试 :i Num
找出实例的来源,然后然后对定义它的人大喊大叫。
附录:无法关闭实例。甚至没有办法不从模块中导出它们。如果这是可能的,将会导致更多令人困惑的代码。这里唯一真正的解决方案是不要定义这样的实例。
关于haskell - 类型检查器允许非常错误的类型替换,并且程序仍然可以编译,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/26770247/