是否可以在不使用模式匹配的情况下重新定义 fst？

Question

我已经使用 Haskell 大约一年了，因为我正在写一篇关于它的论文。在前几章中我谈到了模式匹配，并参考了函数

fst :: (a,b) -> a

来证明它的用处。在本文中，我说在不使用模式匹配的情况下实现fst“会更加复杂”。出于兴趣，我开始考虑如何做到这一点，但似乎想不出任何不以某种方式使用模式匹配的方式，我能想到的最好的事情是

fst' tuple = let (first, second) = tuple
             in first

但这本质上仍然使用模式匹配！有没有办法在没有模式匹配的情况下访问元组的内部值？

Answer 1

提取数据构造函数的参数的唯一方法是对其进行模式匹配。您可以手动进行模式匹配，或者调用一个函数（如fst）为您完成 - 但无论哪种方式，模式匹配都在某处完成。