haskell - Haskell 中的简单算术

Question

我是 Haskell 的新手，为了熟悉它，我正在做一些基本的代码 katas。目前，我正在做Kata Potter我有以下代码片段，我不知道其中有什么问题。

import Test.Hspec

priceOf :: [Int] -> Int
priceOf xs = 8 * (length xs) 

main :: IO ()
main = hspec $ do
  describe "Harry Potter book prices" $ do
    context "Simple discounts" $ do
      it "should apply a discount to two different books" $ do
        priceOf [0, 1] `shouldBe` 0.95 * 8 * 2

当尝试使用 cabal 运行它时，它最终会抛出以下错误

No instance for (Fractional Int) arising from the literal '0.95'
In the first argument of '(*)', namely '0.95'
In the first argument of '(*)', namely '0.95 * 8'
In the second argument of 'shouldBe', namely '0.95 * 8 * 2'

进一步阅读此处的类似主题以及 Haskell wiki 上有关转换数字的章节，我找到了 fromIntegral 函数，但仍然不明白，我不知道在 Haskell 中不同类型之间应用基本算术的正确方法应该如何。

有人可以帮忙吗？

谢谢!

Answer 1

这里的问题是(从错误消息中推断)priceOf 返回一个 Int 而 0.95 * 8 * 2 具有多态类型Fractional a => a 和 shouldBe 强制这些类型相同。但 Int 不是 Fractional 类型，因此您会得到“没有 Fractional Int 实例”。

解决这个问题的方法:

1. 使 priceOf 返回 Fractional 类型，例如双，或
2. 使用 round、floor 或 ceiling 之一将 0.95 * 8 * 2 转换为 Int 取决于您的要求。