代码中的 x: 是什么意思
inits :: [a] -> [[a]]
inits = foldr ( \ x y -> [] : (map (x:) y) ) [[]]
这是一个参数的函数,cons
ESx
一些列表:
(x:) [] => [x]
(x:) [1, 2] => [x, 1, 2]
这里“ cons
es”的意思是“在某个列表中添加一个值”。cons
是执行此操作的函数的“规范”名称。所以,:
函数就是cons
函数。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句