haskell - 在 Haskell 中何时选择 'Natural' 而不是 'Integer'？

Question

不久前我发现了Natural base 中的数据类型。当您打算使用非负整数类型时，应该采用它(在我看来)。但尚不清楚为什么我应该更喜欢 Natural 而不是 Integer。两种类型都具有任意精度，都具有相当优化的运行时表示 - Integer representation和 Natural representation 。但是自然 can throw pure exceptions当你减去自然数时，这并没有真正为你的代码增加更多的类型安全性。而 Integer 在所有软件包中都更受欢迎。

那么什么时候以及为什么我应该使用Natural？

Answer 1

我不明白您为什么要使用Natural或Integer。为什么不使用 Rational 来代替呢？它是任意精度，具有优化的运行时表示，并且适用于自然数、整数、和有理数!

我的观点是，我们应该选择一种在语义上有意义的类型。让我们用自然数数一下街上的房子，用整数记录我们的下一场高尔夫比赛，用有理数来划分新鲜的蓝莓派。