haskell：理解类型和函数

Question

为了了解 haskell 的工作原理，我创建了以下语句。我试图了解他们的类型是什么；谁能告诉我我是否走对了路？

statement                       type
['h', 'e', 'l', 'l', 'o']       ['h', 'e', 'l', 'l', 'o'] :: [char]

[(9,8),(7,6),(5,4)]             [(9,8),(7,6),(5,4)] :: [int a, int b] => [(a,b)] 

如果这是正确的，有人可以帮我理解这些语句的类型/功能吗：

1. even x = x 'mod' 1 == 1

2. chart x y = [y| x <- [1..x]]

Answer 1

您的类型签名不太正确。注意大小写，是[Char]；它是Num 而不是int；还有错误的括号：(Num a, Num b) => [(a, b)]。至于其他的……

$ ghci
[...]
Prelude> let even x = x `mod` 1 == 1
Prelude> :t even
even :: Integral a => a -> Bool
Prelude> let chart x y = [y| x <- [1..x]]
Prelude> :t chart
chart :: (Enum t1, Num t1) => t1 -> t -> [t]

另外，请注意mod 上的反引号，而不是引号。

EDIT 在 cmets 之后：

看来你也想澄清一下even和chart这两个函数的含义。

x的偶数是x除以1的余数是否为1

不幸的是，函数写错了，因为所有整数都可以被1整除，而余数永远不能被1整除。 even 的正确定义是

even x = x `mod` 2 == 0

x的偶数是x除以2的余数是否为零

至于chart，

值 x 和数字 y 的图表是一个列表，其中包含从 1 到 x 的数字列表中每个元素的值 y

因此，如果您执行chart 3 5，您将获得 [1, 2, 3, 4, 5] 中每个元素的三个三的列表，因此五个三：[3, 3, 3, 3, 3]

Answer 2

Haskell 中的类型是大写的；是的，这很重要。

['h', 'e', 'l', 'l', 'o'] :: [Char]

正确，虽然 [Char] 和 String 是类型同义词，而且 String 看起来更好。 :P

[(9,8),(7,6),(5,4)] :: (Num a, Num b) => [(a,b)]

多个约束在圆括号中。没有“int”类型类。

even x = x `mod` 1 == 1
even :: Integral a => a -> Bool

确保使用反引号而不是单引号；是的，这很重要。在 ghci 中使用 :t 来检查 mod 和 (==) 的类型，并使用 :i 来检查 Num 和 Integral 之间的关系，你应该可以把它们放在一起。

chart x y = [y | x <- [1..x]]
chart :: (Num a, Enum a) => a -> b -> [b]

为此，您必须知道 [a..b] 的“长名称”是 enumFromTo，以及如何对列表推导进行脱糖。列表推导并不难，但在 RWH、LYAH 和 Haskell 2010 报告中已经有很好的描述，所以我不会在这里留下。