Làm thế nào để viết lại một hàm Haskell của hai luận điểm miễn phí theo phong cách

Question

tôi có chức năng sau đây trong Haskell

agreeLen :: (Eq a) => [a] -> [a] -> Int 
agreeLen x y = length $ takeWhile (\(a,b) -> a == b) (zip x y) 

Tôi đang cố gắng tìm hiểu làm thế nào để viết 'thành ngữ' Haskell, mà dường như thích sử dụng . và $ thay vì dấu ngoặc đơn, đồng thời cũng thích mã pointfree nếu có thể. Tôi dường như không thể loại bỏ việc đề cập đến số x và y một cách rõ ràng. Bất kỳ ý tưởng?

Tôi nghĩ rằng tôi muốn có cùng một vấn đề với việc chấm dứt bất kỳ chức năng nào của hai đối số.

BTW, đây chỉ là việc theo đuổi viết mã tốt; không một số "sử dụng bất cứ điều gì nó cần để làm cho nó pointfree" bài tập về nhà bài tập.

Cảm ơn.

---

(Đã thêm nhận xét) Cảm ơn câu trả lời. Bạn đã thuyết phục tôi chức năng này không được hưởng lợi từ pointfree. Và bạn cũng đã cho tôi một số ví dụ tuyệt vời để thực hành các biểu thức chuyển đổi. Nó vẫn còn khó khăn đối với tôi, và họ dường như là điều cần thiết để Haskell như con trỏ là để C.

Answer 1

và cũng thích sử dụng mã điểm ngoài nếu có thể.

Không phải "nếu có thể", nhưng "nơi nó cải thiện khả năng đọc (hoặc có các lợi ích rõ ràng khác)".

Để chỉ-miễn phí của bạn

agreeLen x y = length $ takeWhile (\(a,b) -> a == b) (zip x y) 

Bước đầu tiên sẽ được di chuyển ($) phải, và thay thế một trong những bạn có với một (.):

agreeLen x y = length . takeWhile (\(a,b) -> a == b) $ zip x y 

Bây giờ, bạn có thể di chuyển nó hơn nữa ngay:

agreeLen x y = length . takeWhile (uncurry (==)) . zip x $ y 

và ở đó bạn có thể cắt ngay lập tức tắt một đối số,

agreeLen x = length . takeWhile (uncurry (==)) . zip x 

Sau đó, bạn có thể viết lại rằng như một ứng dụng tiền tố của các nhà điều hành thành phần,

agreeLen x = (.) (length . takeWhile (uncurry (==))) (zip x) 

và bạn có thể viết

f (gx)

như

f . g $ x 

thường, ở đây với

f = (.) (length . takeWhile (uncurry (==))) 

và g = zip, cho

agreeLen x = ((.) (length . takeWhile (uncurry (==)))) . zip $ x 

từ đó lập luận x có thể dễ dàng gỡ bỏ. Sau đó, bạn có thể chuyển đổi các ứng dụng tiền tố của (.) thành một phần và nhận được

agreeLen = ((length . takeWhile (uncurry (==))) .) . zip 

Nhưng, đó là ít có thể đọc được so với bản gốc, vì vậy tôi không khuyên bạn nên làm điều đó trừ thực hành việc chuyển đổi biểu thức thành điểm miễn phí Phong cách.

Answer 2

Bạn cũng có thể sử dụng:

agreeLen :: (Eq a) => [a] -> [a] -> Int 
agreeLen x y = length $ takeWhile id $ zipWith (==) x y 

Idiomatic Haskell là bất cứ điều gì là dễ dàng hơn để đọc, không nhất thiết phải là những gì hầu hết không có điểm.