Mẫu phù hợp với Seq ở Haskell

Question

Kết hợp mẫu là một trong những tính năng Haskell thanh lịch nhất.

Tôi đã làm việc trên một dự án gần đây, nơi tôi cần cấu trúc dữ liệu hàng đợi vì vậy tôi đang sử dụng Data.Sequence. Tuy nhiên, có vẻ như tôi phải từ bỏ sự sang trọng của mô hình kết hợp và nghỉ mát để bảo vệ:

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

Tôi có thể sử dụng mô hình phù hợp với trình tự hay tôi cần phải sử dụng bảo vệ?

Answer 1

ephemient đang đi đúng hướng với các kiểu xem nhưng tôi nghĩ có cách để thực hiện điều đó thực sự khá tốt đẹp. Data.Sequence thực sự được viết với quan điểm trong tâm trí và bạn nên sử dụng các loại ViewL hoặc ViewR để tạo mẫu trên cấu trúc dữ liệu.

{-# LANGUAGE ViewPatterns #-} 

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

Answer 2

Bạn có thể sử dụng view patterns thay vì bảo vệ, nhưng thực ra không tốt hơn (IMO). Các lính canh trông ổn với tôi ...

{-# LANGUAGE ViewPatterns #-} 

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