haskell - 匹配列表前两项的隐式模式

Question

有没有办法以一种隐式的方式做到这一点：

(originalPath:extractPath:ignoredArgs) <- getArgs

考虑到我只需要前两个参数，并且无论如何都会忽略其他参数。

这只是一个好奇/探索/学习问题（刚从 Haskell 开始），ignoredArgs如果这样留下也无害。

我试过

(originalPath:extractPath) <- getArgs

但它失败了，因为extractPath将是[String]类型（而不是String）

Answer 1

使用通配符，_

(originalPath:extractPath:_) <- getArgs

忽略前两个参数之后的所有内容。

你需要有一些东西来让这两个名称绑定到Strings，并且通配符模式（下划线）是告诉编译器和代码的人类读者你对进一步的参数不感兴趣的方式。