可以解包列表的功能吗？

Question

我有以下问题，我想写一个生成嵌套列表的函数，然后将嵌套列表解包成一个列表。

根据其参数生成动态程度的嵌套列表的函数显然不会进行类型检查，因为返回类型会因参数而异。但是，是否可以递归解包列表以始终返回平面列表？

假设不可能的函数会为参数 2 返回 this：

[ [ [a], [b] ], [ [c], [d] ] ]

这对于 3 的论点：

[[[[a], [b], [c]], [[d], [e], [f]], [[g], [h], [i]]], [[[j], [k], [l]], [[m], [n], [o]], [[p], [q], [r]]], [[[s], [t], [u]], [[v], [w], [x]], [[y], [z], [a1]]]]

现在我想要一些可以放入递归调用中的函数，这将导致如下结果：

[ unpack [ unpack [a], unpack [b] ], unpack [ unpack [c], unpack [d] ] ]

这反过来会评估为[a, b, c, d]

我可以为只有一个元素的列表写这样的东西：

unpack [x] = x

f 1 = [0]
f n = [unpack $ f x | x <- [1..n-1]]

*Main> f 3
[0,0]

但显然它失败了 4:

*Main> f 4
[0,0,*** Exception: Non-exhaustive patterns in function unpack

手动“跟踪”：

f 3 = [unpack $ f x | x <- [1..3-1]]
    = [ unpack $ f 1, unpack $ f 2]
    = [ unpack [0], unpack [f x | x <- [1..2-1]]]
    = [ unpack [0], unpack [f 1] ]
    = [ unpack [0], unpack [0] ]
    = [0, 0]

这样的功能理论上可行吗？我有一种强烈的感觉，不是……但也许这种感觉是错误的。

如果还不清楚我的想法：这个[unpack [1,2,3]] 将导致列表[1,2,3]。

Answer 1

如 cmets 中所写，您想要的程序在 Haskell 中是不可能的。

这是一个可能的替代方法：创建数据类型

data Unpack a = Unpack [Unpack a] | Elem a
  deriving (Eq, Ord)

您还可以编写一个评估拆包的函数：

unpacked :: [Unpack a] -> [a]
unpacked [] = []
unpacked (Unpack x : xr) = unpacked x ++ unpacked xr
unpacked (Elem x : xr) = x : unpacked xr

让输出更漂亮：

instance Show a => Show (Unpack a) where
  show (Unpack xs) = show xs
  show (Elem x)    = show x

ghci 中的使用示例：

> list = [Unpack [Elem 1, Unpack [Elem 3, Elem 4]], Unpack [Elem 5, Elem 6, Elem 7]]
[[1,[3,4]],[5,6,7]]

> unpacked list
[1,3,4,5,6,7]