haskell - 为什么Haskell prelude的atan2函数定义在RealFloat类中？

Question

为什么atan2是RealFloat类的一部分，而不是(有点奇怪的名字)Floating类的一部分？

我不明白它在逻辑上如何依赖于Real(我理解这是一类非抽象的数字，因为它们可以转换为一些有理自身的近似)。

我也不明白为什么它与 RealFloat 的任何其他成员有关，这些成员与打包和解包指数/尾数表示有关。

(潜在的接近选民:我不仅仅是在咆哮 Haskell 数字塔。我真的认为这个问题有一个答案，但我只是把注意力集中在错误的地方来看到它。)

Answer 1

我想这可能来自如何处理复数。 atan2 函数旨在使用 (x, y) 坐标，但这不适用于复数值，因为两个复数值将代表相同数量的信息为 4 个实数值。 atan2 对于复数没有任何意义，但 atan 确实如此。由于 atan2 对于任何处理角度的程序来说都是一个非常重要的函数，因此它在 RealFloat 中的位置很可能是出于实用性而不是纯数学。