哈斯克尔 - 地图a()

Question

这条线做什么？

Map a ()

我认为"map"是一个适用于列表的函数.

例如:

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对象映射到类型对象的数据结构().它类似于C++ std::map,Java HashMap,C#Dictionary等.

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

编辑:类型()是0元组(或空元组).如果你有类型(a, b),那将是一个2元组,因为它可以容纳两个元素; (a, b, c)将是一个3元组,等等.0元组是一个"空壳",它不能保存任何值.如果您想知道为什么0元组有用,它主要用于表示缺少信息.