Question

模式匹配是最优雅的Haskell功能之一。

我最近在一个项目上工作，我需要一个队列数据结构，所以我正在使用Data.Sequence。然而，看起来我必须放弃模式匹配的优雅并诉诸守卫：

floodFillWorker :: Image -> RGBAColor -> Double -> PixelQueue -> Image
floodFillWorker image base tolerance queue 
    | Seq.null queue = image
    | otherwise      = doSomeWork image

我可以使用模式匹配序列，还是需要使用警卫？

Answer 1

ephemient与视图模式在正确的轨道上，但我认为有一种方法可以做到这一点实际上相当不错。 Data.Sequence实际上是以编写的方式编写的，您应该使用ViewL或ViewR类型来模拟数据结构。

{-# LANGUAGE ViewPatterns #-}

floodFillWorker image _ _ (Seq.viewl -> EmptyL) = image
floodFillWorker image base tolerance queue = doSomeWork image

Answer 2

你可以使用view patterns代替守卫，但实际上它并没有更好（IMO）。警卫看起来很好......

{-# LANGUAGE ViewPatterns #-}

floodFillWorker image _ _ (Seq.null -> True) = image
floodFillWorker image base tolerance queue = doSomeWork image

Haskell中的模式匹配Seq

2 个答案: