Haskell नेस्ट खाली सूचियों

Question

हैलो Haskellers और Haskellettes,

जब http://learnyouahaskell.com/ पढ़ने मेरा एक दोस्त एक समस्या के साथ आया था -sub -_- sublists खाली हैं। मेरा पहला अनुमान था - होना चाहिए - लेकिन मुझे टाइप एनोटेशन लिखने में बड़ी समस्या है। काम नहीं कर रहा - -

वह जैसे

nullRec l = if null l 
       then True 
       else if [] `elem` l 
        then nullRec (head [l]) && nullRec (tail l) 
        else False 

जो कुछ है की कोशिश की :-)

मैं

• concat साथ तह की तरह कुछ के साथ आया था - आ ही लंबी सूची प्राप्त करने के लिए
  (मुझे समस्याएं लागू करने में समस्याएं)
• या एक अनंत ट्रेलीइक डेटाटाइप बनाना - और सूची
  से बना (अभी तक लागू नहीं किया है)

लेकिन बाद इस समस्या के लिए overkill की तरह एक सा ध्वनि। अग्रिम

---

सभी टिप्पणियों की प्रतिक्रिया के रूप में इस तरह ;-)

धन्यवाद एक धूप रविवार को - - क्या अपने विचारों है इस किया जा रहा बुरा शैली मैं जोड़ने के लिए इस है करना चाहते हैं बस एक प्रयोग!
घर पर यह कोशिश न करें! ;-)

Answer 1

एक टाइपक्लास के बारे में कैसे?

{-# LANGUAGE FlexibleInstances, OverlappingInstances #-} 

class NullRec a where 
    nullRec :: a -> Bool 

instance NullRec a => NullRec [a] where 
    nullRec [] = True 
    nullRec ls = all nullRec ls 

instance NullRec a where 
    nullRec _ = False 

main = print . nullRec $ ([[[[()]]]] :: [[[[()]]]]) 

Answer 2

निम्नलिखित के कारण केवल पैरामीट्रिक पॉलिमॉर्फिज्म का उपयोग करना संभव नहीं है। जाहिर है

x = [8] :: [Int] 
y = [3.0] :: [Double] 
z = [[]] :: [[Int]] 

, आप अपने समारोह x और y दोनों के साथ काम करना चाहते हैं, इस प्रकार अपने प्रकार null1 :: [a] -> Bool होना चाहिए:

इन मूल्यों पर विचार करें। (किसी ने मुझे इस तर्क को औपचारिक बनाने में मदद कर सकते हैं? मैं कैसे दिखा सकते हैं कि इस अनूठी सबसे विशिष्ट संदर्भ-कम प्रकार [Int] -> Bool और [Double] -> Bool साथ unifiable है? वहाँ प्रकार के बीच है कि संबंध के लिए एक नाम है?)

अब , यदि आपके पास यह प्रकार है, तो null1 znull1 x के बराबर होगा क्योंकि वे केवल सूची तत्वों के मानों में भिन्न होते हैं, जिन्हें से दूर किया गया है।

क्या आप z के लिए चाहते हैं null2 :: [[a]] -> Bool है, जो व्यवहार में अलग होगा है, और इस तरह null1 और null2 एक ही नाम ओवरलोडिंग की आवश्यकता होगी दे रही है (यहां तक ​​कि फिर से औपचारिक प्रमाण :(के करीब नहीं)।(FUZxxl का उत्तर देखें)