haskell - 广义元组缩减

Question

如何编写将 n 元组简化为 (n-m) 元组的函数？

例如，我有 (a, b, c, d, e) 并且想要获取 (a, b, c)其用法如下:

let ntup  = (1, "a", "b", 5, "c")
    nmtup = reduce ntup 3 

Answer 1

似乎有一些类似问题的解决方案(例如 Manipulating "arbitrary" tuples )，但我强烈建议您考虑更改数据类型，因为元组不适合在这样的上下文中使用。元组并不意味着以某种方式迭代元素，而是针对(固定数量的)元素进行模式匹配。另一种选择是 HList数据类型，如我链接到您的问题的答案之一中提到的。