哈斯克尔除法

Question

我正在 Haskell 中创建一个函数，仅将列表中的偶数减半，但我遇到了问题。当我运行编译器时，它抱怨您无法执行 int 除法，并且我需要一个小数 int 类型声明。我尝试将类型声明更改为 float，但这只是生成了另一个错误。我已在下面包含该函数的代码，并希望获得任何形式的帮助。

halfEvens :: [Int] -> [Int]
halfEvens [] = []
halfEvens (x:xs) | odd x = halfEvens xs
                 | otherwise = x/2:halfEvens xs

感谢您的阅读。

Answer 1

使用 div ，执行整数除法：

halfEvens :: [Int] -> [Int]
halfEvens [] = []
halfEvens (x:xs) | odd x = halfEvens xs
                 | otherwise = x `div` 2 : halfEvens xs

(/) 函数需要类型为 Fractional 类的参数，并执行标准除法。 div 函数需要类型为 Integral 类的参数，并执行整数除法。

更准确地说，div 和 mod 向负无穷大舍入。它们的表兄弟 quot 和 rem 的行为类似于 C 中的整数除法 并向零​​舍入。 div 和 mod 在进行模算术时通常是正确的（例如，在计算给定日期的星期几时），而 quot 和 rem 稍微快一些（我认为）。

在 GHCi 中玩一下：

> :t div
div :: Integral a => a -> a -> a
> :t (/)
(/) :: Fractional a => a -> a -> a
> 3 / 5
0.6
> 3 `div` 5
0
> (-3) `div` 5
-1
> (-3) `quot` 5
0
> [x `mod` 3 | x <- [-10..10]]
[2,0,1,2,0,1,2,0,1,2,0,1,2,0,1,2,0,1,2,0,1]
> [x `rem` 3 | x <- [-10..10]]
[-1,0,-2,-1,0,-2,-1,0,-2,-1,0,1,2,0,1,2,0,1,2,0,1]

Answer 2

我应该补充一点，使用 map 会简化代码。

HalfIfEven n
  | even n = n `div` 2
  | otherwise = n

halfEvens = map halfIfEven