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 xy = [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上的反引号，而不是引号。

编辑以下评论：

似乎您还希望弄清函数even和chart的含义。

x的偶数是将x除以1时余数是否为1的值

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

even x = x `mod` 2 == 0

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

至于chart ，

值x和数字y的图表是一个由值y组成的列表，该值由1到x的数字列表中的每个元素组成

因此，如果您执行chart 3 5 ，则在[1、2、3、4、5]中每个元素都会有一个三元组列表，所以有五个三元组： [3, 3, 3, 3, 3] 3、3、3、3、3 [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报告》中已经有很好的描述，因此我不会在这里留下一个。