我正在做一些几何计算，这需要我比较基于双精度的坐标。我通常通过包含一些人工 epsilon 来处理这种情况下的浮点不准确性。这很常见，并且有很多关于此主题的信息。
http://floating-point-gui.de/errors/comparison/
http://www.cygnus-software.com/papers/comparingfloats/comparingfloats.htm
我的想法是将 Double 包装在一个新类型中，并使用 epsilon 实现 Eq 和 Ord。这似乎是一个如此明显的概念，要么它已经完成并且必须在 Hackage 的库中，要么我还没有想到这个概念明显有问题。所以我的问题是，有谁知道包含类似类型的现有模块（我快速搜索并没有看到任何内容）？或者，这是一个虚假的想法？谢谢。