घटाव के लिए (+1) के बराबर क्या है, क्योंकि (-1) को ऋणात्मक संख्या के रूप में देखा जाता है?

Question

संभव डुप्लिकेट:
Currying subtraction

मैं अपनी पहली Haskell परियोजना है कि एक ट्यूटोरियल से नहीं है शुरू कर दिया, और निश्चित रूप से मैं सबसे सरल बातों पर ठोकर। (-1) जो नकारात्मक रूप में देखा जाता रहा इस्तेमाल किया था:

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

यह मुझे समझने के लिए क्यों मेरे कोड संकलन नहीं होगा कुछ समय निकाला:

मैं निम्नलिखित कोड है। ऋण को ब्रैकेट करने से यह मदद नहीं करता है क्योंकि यह इसे उपसर्ग करता है और 1 का पहला पैरामीटर बनाता है।

संक्षेप में, इसका बिंदु मुक्त संस्करण क्या है?

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

Answer 1

मेरा मानना ​​है कि आप the conveniently-named subtract function चाहते हैं, जो वास्तव में कारण है कि आप की खोज की है के लिए मौजूद है:

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

flip (-) के रूप में ही।

क्योंकि - विशेष रूप से हास्केल व्याकरण में इलाज किया जाता है, (- e) एक अनुभाग नहीं है, लेकिन उपसर्ग निषेध का एक आवेदन है। हालांकि, (subtract exp) अस्वीकृत अनुभाग के बराबर है।

आप subtract की तरह एक समारोह का उपयोग किए बिना यह pointfree लिखना चाहते थे, तो आप, flip (-) इस्तेमाल कर सकते हैं के रूप में Prelude प्रलेखन का उल्लेख है। लेकिन यह है ... थोड़े बदसूरत।

Answer 2

आप subtract फ़ंक्शन (जो मानक प्रीलूड में है) का उपयोग कर सकते हैं।

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

तुम भी पैरामीटर - लेता को पुन: व्यवस्थित करने के लिए फ्लिप उपयोग कर सकते हैं।

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

Answer 3

तो उपर्युक्त subtract भी वर्बोज़ है, तो आप (+ (-1)) या (-1 +) की तरह कुछ की कोशिश कर सकते।