Haskell 模式匹配问题

Question

当前代码

嗨，我有一个这样的函数：

jj::[Int]->[Int]
jj xs = [x|x<-xs,x `mod` 2 ==0]

对于输入 [1..20]，它给我作为输出 ：

[2,4,6,8,10,12,14,16,18,20] -> only the values divisible by 2 

我需要什么

如果列表值可被 2 整除，则将其解释为 0，否则解释为 1：

输入< /强>： [243,232,243]

输出：[1,0,1]

Answer 1

当然你只想要 map:

jj::[Int]->[Int]
jj xs = map (`mod` 2) xs

由于柯里化

map (`mod` 2) :: [Int] -> [Int]

正是我们想要的函数，所以我们可以这样做：

jj::[Int]->[Int]
jj = map (`mod` 2)

两者都会产生：

*Main> jj [2,4,5,6,8,9]
[0,0,1,0,0,1]

Answer 2

如果您想要 [] 语法（又名列表理解），您可以说它

jj::[Int]->[Int]
jj xs = [x `mod` 2 | x<-xs]

相当于 MGwynne 的 map 解决方案。

Answer 3

查看以下函数：

map :: (a -> b) -> [a] -> [b]
fmap :: (Functor f) => (a -> b) -> f a -> f b

其中列表是类型类仿函数的实例。您需要一个 Int 类型的函数 -> Int 进行转换。

jj :: (Functor f, Integral i) => f i -> f i
jj = fmap (`mod` 2)

（对于列表，map 和 fmap 执行相同的操作。fmap 是 map 的泛化）

Answer 4

递归方式：

dividablelist :: [Int] -> [Int]
dividablelist [] = []
dividablelist (x:xs) = mod x 2 : dividablelist xs