Tương đương với (+1) cho phép trừ là gì, vì (-1) được xem là số âm?

Question

thể trùng lặp:
Currying subtraction

tôi bắt đầu dự án Haskell đầu tiên của tôi đó không phải là từ một hướng dẫn, và tất nhiên tôi vấp ngã vào những điều đơn giản nhất.

Tôi có đoạn mã sau:

moveUp y = modifyMVar_ y $ return . (+1) 
moveDn y = modifyMVar_ y $ return . (-1) 

Tôi đã mất một thời gian để hiểu tại sao mã của tôi sẽ không biên dịch: Tôi đã sử dụng (-1) được coi là một tiêu cực. Bracketting trừ đi không giúp ích khi nó tiền tố nó và làm cho 1 tham số đầu tiên của nó.

Tóm lại, phiên bản miễn phí điểm này là gì?

dec :: Num a => a -> a 
dec x = x - 1 

Answer 1

Tôi tin rằng bạn muốn the conveniently-named subtract function, mà tồn tại cho chính xác lý do bạn đã phát hiện ra:

subtract :: Num a => a -> a -> a 

giống như flip (-).

Vì - được xử lý đặc biệt trong ngữ pháp Haskell, (- e) không phải là một phần, mà là một ứng dụng phủ định tiền tố. Tuy nhiên, (subtract exp) tương đương với phần không được phép.

Nếu bạn muốn viết nó pointfree mà không sử dụng một chức năng như subtract, bạn có thể sử dụng flip (-), như tài liệu Prelude đề cập đến. Nhưng đó ... hơi xấu xí.

Answer 2

Bạn có thể sử dụng chức năng subtract (ở chế độ Chuẩn Chuẩn).

moveDn y = modifyMVar_ y $ return . (subtract 1) 

Bạn cũng có thể sử dụng lật để sắp xếp lại các tham số - mất.

moveDn y = modifyMVar_ y $ return . (flip (-) 1) 

Answer 3

Nếu nêu trên subtract là quá dài dòng, bạn có thể thử một cái gì đó giống như (+ (-1)) hoặc (-1 +).