Haskell-地图（）

Question

这条线是做什么的？

Map a ()

我认为“地图”是一种可以很好地与列表配合使用的功能。

例如：

map (+1) [1,2,3] == [2,3,4]

但这就像

map :: (a->b) -> [a] -> [b] 
map f xs 

但是是什么

map a () 

意思？ 我的意思是（）没有列表。 以前从未见过。

Answer 1

Map a ()是一种数据类型：它使用类Data.Map定义一个将a类型a对象映射到type ()对象的数据结构。 它类似于C ++的std::map ，Java的HashMap ，C＃的Dictionary等。

另一方面， map是一种功能。 如果标识符以大写字母开头，则表示它代表类型或类，否则代表值或函数。

编辑：类型()是一个0元组（或一个空元组）。 如果您有类型(a, b) ，那将是一个2元组，因为它可以容纳两个元素； (a, b, c)将是一个3元组，以此类推。0元组是一个“空壳”，它不能保存任何值。 并且，如果您想知道为什么0元组有用，它主要用于指示缺少信息。