đệ quy Mutual trong chẵn/lẻ chức năng trong Haskell

Question

Trong chương 6 của "Lập trình trong Haskell" bởi Graham Hutton có một phần gọi là "6,5 đệ quy Mutual", có chứa các ví dụ sau:

even :: Int -> Bool 
even 0  = True 
even (n + 1) = odd n 

odd :: Int -> Bool 
odd 0  = False 
odd (n + 1) = even n 

Tôi muốn thử nó. Tôi đặt mã trong tập tin Hof.hs, chạy ghci (phiên bản 7.8.3), gõ

:l Hof.hs 

và nhận được thông báo lỗi sau

 
Hof.hs:3:7: Parse error in pattern: n + 1 
Failed, modules loaded: none. 

Tại sao tôi nhận thông báo này? Đoạn mã có lỗi thời hay gì đó không?

Answer 1

n + k patterns have been removed từ Haskell và không còn khả dụng nữa. Viết nó như thay vì điều này:

even :: Int -> Bool 
even 0 = True 
even n = odd (n - 1) 

odd :: Int -> Bool 
odd 0 = False 
odd n = even (n - 1) 

Lưu ý rằng chức năng này không khủng khiếp cho các đầu vào tiêu cực, vì vậy bạn có thể muốn tăng thêm nó với abs.