अंतिम कार्य को कार्यान्वित करना

Question

मैं खुद को हास्केल सिखाने की कोशिश कर रहा हूं। एक चीज जिसे मैंने करने की कोशिश की है, सूची के माध्यम से सूची के माध्यम से एक सूची के अंतिम तत्व को वापस करने के लिए एक वैकल्पिक कार्य लिखना है जब तक कि पूंछ खाली सेट न हो और फिर सिर लौट जाए। मुझे लगता है मैं गलत क्या किया है के रूप में है ...

mylast [] = [] 
mylast (x:[]) = x 
mylast (x:xs) = mylast xs 

... लेकिन जब मैं किसी भी गैर खाली सूची की कोशिश मैं कोई त्रुटि मिलती है :( कोई सुझाव? TIA।

Answer 1

प्रयास करें mylast [] = error "Empty list!" । बजाय अन्यथा हास्केल अपने कार्य के प्रकार के अनुमान लगा सकते हैं नहीं

Answer 2

एफ्रेम के समाधान काम करना चाहिए (ऊपर से मतदान) लेकिन मुझे लगता है कि यह एक छोटे से अधिक "हास्केल की तरह" है:।।

mylast [] = Nothing 
mylast (x:[]) = Just x 
mylast (x:xs) = mylast xs 

अस्वीकरण: मैंने वास्तव में यह कोशिश नहीं की है। मैंने वाक्यविन्यास त्रुटियां की हो सकती हैं।

Answer 3

समस्या - जब आप हास्केल सीख रहे हैं तो कई अन्य लोगों की तरह - टाइपिंग में से एक है। GHCi

:t mylast 

में निम्न टाइप करें और आप देखेंगे कि प्रकार हस्ताक्षर

mylast :: [[a]] -> [a] 

जो सूचियों की एक सूची अपेक्षा करता है और एक सूची प्रदान करेगा है। तो यदि आप तारों की सूची ["बॉब", "बाड़", "घर"] में डालते हैं तो फ़ंक्शन काम करेगा जैसा आपने लिखा है।

समस्या आपका आधार मामला है: mylast [] = [], जो संकलक को बताता है कि आप एक सूची वापस करना चाहते हैं। आप एक तत्व नहीं, एक सूची वापस करना चाहते हैं। लेकिन हास्केल में बहुत खाली तत्व नहीं है (डिजाइन द्वारा बहुत अधिक), इसलिए आपको शायद मोनड का उपयोग करने की आवश्यकता है।

mylast :: [a] -> Maybe a 
mylast [] = Nothing 
mylast (x:[]) = Just x 
mylast (x:xs) = mylast xs 

monads कुछ हद तक एक अमूर्त विषय हैं, लेकिन आप जब तुम बाहर शुरू कर रहे हैं हो सकता है कि इकाई की जरूरत है। आपको इसके बारे में जानने की जरूरत है कि यह एक प्रकार की घोषणा है जो संकलक को दो संभावनाओं की अपेक्षा करने के लिए कहती है: "कुछ भी नहीं," या "बस एक्स"। रिटर्निंग कोड तब एक्स ले सकता है और इसके साथ चला सकता है, लेकिन अगर आप "बस" छोड़ देते हैं, तो संकलक शिकायत करेगा।

विकल्प तो की तरह, एक खाली सूची का सामना करना पड़ा है, जब एक त्रुटि फेंक करने के लिए है:

mynextlast [] = error "no empty lists allowed" 
mynextlast (x:[]) = x 
mynextlast (x:xs) = mynextlast xs 

लेकिन मेरे संदेह है कि हो सकता है कि जाने का रास्ता है।

Answer 4

सभी के उत्तरों के लिए धन्यवाद। मैंने कोशिश की है ...

mylast :: [a] -> Maybe a 
mylast [] = Nothing 
mylast (x:[]) = Just x 
mylast (x:xs) = mylast xs 

और मैं जैसे मिलता है ...

Main> mylast3 [2,4,66,5,4,33] 
Just 33 :: Maybe Integer 

वहाँ बनाने यह जवाब में 'सिर्फ' मुद्रित नहीं की वैसे भी है?

[संपादित करें: जोर्ग डब्ल्यू मिट्टाग] (टिप्पणियां कोड पोस्ट करने के लिए भयानक हैं ...)

यहाँ कैसे पूरे कोड संदर्भ में दिखाई देता है:

mylast []  = Nothing 
mylast [x] = Just x 
mylast (x:xs) = mylast xs 

mylook (Just a) = do print a 
mylook Nothing = do error "Nothing to see here, move along!" 

mylook $ mylast [2,4,66,5,4,33] 

Answer 5

myLast' [] = error "no empty lists allowed" 
myLast' [a] = a 
myLast' xs = xs !! (length xs - 1) 

Answer 6

mylast [x] = x 
mylast (x:xs) = mylast xs 

पुनरावर्ती कॉल समाधान