理解Haskell分析器输出 - 什么是==_a3JO

Question

我正在使用Haskell编写一些优化应用程序，现在我通过分析器运行了它。我看到了许多函数和一个奇怪的符号"==_a3JO"（有时候是不同的数字和字母）。这代表什么意思？

示例输出：

      maxDistanceRaw Igc                                                  360      471912   5.2    5.7    19.8   20.3
       distance      Igc                                                  364    30143010   1.3    1.0    14.6   14.6
        distanceRad  Igc                                                  365    30143010  10.4    8.8    13.3   13.6
         ==_a3JO     Igc                                                  366    30143010   2.9    4.9     2.9    4.9
     ==_a3JO         Igc                                                  350   233432454  35.3   36.9    35.3   36.9

- ondra

Answer 1

distanceRad这个参数是否有Eq实例？我只用过几次分析器，但看起来它是一个实例实现的(==)，被命名为唯一。

（贴出代码可能会有所帮助。）

- Nathan Shively-Sanders

---

应该想到了 :) 是的，我花了60%的时间在比较事物。这个配置文件确实非常有用... - ondra

对我来说也是如此。我比较了两个具有相同复杂度界限的算法，实际性能与我预测的完全相反。在惰性语言中进行分析非常重要。 - Nathan Shively-Sanders