haskell - 惯用的 Haskell 是否会像 head、init、tail 等那样尝试消除对操作 fst 和 snd ？

Question

这是一个不适合我的功能，我想我需要摆脱 fst。

flagHolidays :: [(C.Day,Availability)] -> Handler [(C.Day,Availability)]
flagHolidays dayPairs = do
   let days = map fst dayPairs
       yepNope = Prelude.map isHoliday days
       availability = Prelude.map flagAvailability yepNope
   return $ Prelude.zip days availability

我能想到的唯一方法是一个非常丑陋的模式匹配，类似于(x,y):(xs,ys)。删除 fst 有意义吗？如果是这样，模式匹配此对列表的最佳方法是什么？

Answer 1

在惯用的 Haskell 代码中不使用 head、tail 和 init 的原因是它们不是全部函数 - 一些输入导致错误发生。将空列表传递给任何这些函数都会导致空列表异常。

fst 和 snd 没有这个问题，因为没有输入可以传递给那些会导致异常的函数。因此没有理由尝试避免这些功能。

您的函数可以写得更好(其他评论提供了有关此的详细信息)，但这不是由于使用 fst 或 snd。