将 [] 包裹在列表的每个顶级元素周围

Question

wrap [1,2,3] should output [[1],[2],[3]]
wrap [[1],[2],[3]] should output [ [[1]], [[2]], [[3]] ]

我的实现是：

wrap [] = []
wrap (x:xs) = [x] :  [wrap xs]

并且haskell输出错误：Occurs check: cannotconstruct the infinite type: t ~ [t]

预期类型：[t] -> [t] 实际类型：[t] -> [[t]]

Answer 1

[wrap xs] 包装了wrap xs 的整个结果。您不想包装整个结果。您只想包装列表其余部分的每个单独元素，而这正是 wrap xs 已经做的事情。因此，wrap 是：

wrap :: [a] -> [[a]]
wrap [] = []
wrap (x:xs) = [x] : wrap xs

错误告诉您您正在尝试使用 [t]，而 GHC 期望使用 t。这正是我们上面所说的，你包装的东西太多了。