Question

假设我有以下Haskell类型描述：

divide_by_hundred :: Integer -> IO()
divide_by_hundred n = print(n/100)

为什么当我尝试通过ghc运行时，我得到：

No instance for (Fractional Integer) arising from a use of `/'
Possible fix: add an instance declaration for (Fractional Integer)
In the first argument of `print', namely `(n / 100)'
In the expression: print (n / 100)
In an equation for `divide_by_hundred':
    divide_by_hundred n = print (n / 100)

运行:t (/) 我明白了：

(/) :: Fractional a => a -> a -> a

对我来说，这表明（/）可以取任何可以表示为小数的Num（我在印象中应该包括整数，但我不确定如何验证这一点），只要两者都/的输入属于同一类型。

这显然不准确。为什么？我怎么写一个简单的函数来将整数除以100？

Answer 1

Haskell喜欢保持运算符在数学上被接受的含义。 /应该是乘法的倒数，但例如对于5 / 4 * 4实例¹，5无法获得Fractional Integer。

因此，如果你实际上是指截断整数除法，那么语言会强迫你²使用div或quot来明确表示。 OTOH，如果你真的想要将结果作为分数，你可以使用/罚款，但首先需要转换为具有Fractional实例的类型。例如，

前奏＆GT;设x = 5
  前奏＆GT; ：t x
  x ::整数
  前奏＆GT;设y = fromIntegral x / 100
  前奏＆GT; ÿ
  5.0E-2
  前奏＆GT; ：t y
  y ::双重

请注意，GHCi在这里选择了Double实例，因为这是简单的默认值;你也可以做

前奏＆GT;让y'= fromIntegral x / 100 :: Rational
  前奏＆GT; Y'
  1％20

¹严格地说，由于浮点毛刺，这个反转同一性并不完全适用于Double实例，但至少大约是这样。

²实际上，不是语言而是标准库。你可以定义

instance Fractional Integer where
  (/) = div

你自己，然后你的原始代码就可以了。只是，这是一个坏主意！

Answer 2

您可以使用div进行整数除法：

div :: Integral a => a -> a -> a

或者您可以使用fromIntegral将整数转换为小数：

fromIntegral :: (Integral a, Num b) => a -> b

所以实质上：

divide_by_hundred :: Integer -> IO()
divide_by_hundred n = print $ fromIntegral n / 100

整数不实现Fractional，您可以在the manual中看到。

如何从Integer转换为Fractional

2 个答案: