Haskell - lồng danh sách rỗng

Question

Xin chào Haskellers và Haskellettes,

khi đọc http://learnyouahaskell.com/ một người bạn của tôi đã đưa ra một vấn đề:

Có thể trong Haskell để viết một hàm đệ quy cung cấp cho True nếu tất cả các tiểu -sub -_- sublists rỗng. Đoán đầu tiên của tôi là - nên - nhưng tôi có một vấn đề lớn chỉ cần viết chú thích kiểu.

ông đã cố gắng một cái gì đó giống như

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

đó là - không hoạt động - :-)

tôi đã đưa ra một cái gì đó giống như

• gấp với concat - để có được aa danh sách dài đơn
  (khiến tôi gặp sự cố khi triển khai)
• hoặc tạo một kiểu dữ liệu treelike vô hạn - và thực hiện việc này từ danh sách
  (chưa triển khai)

nhưng âm thanh sau này hơi giống như quá mức cho vấn đề này. ý tưởng của bạn là gì - trên một chủ nhật đầy nắng như thế này ;-)

Cảm ơn trước

---

như một phản ứng đối với tất cả các ý kiến ​​- phong cách xấu là này tôi muốn thêm này chỉ cần thử nghiệm!
KHÔNG thử ở nhà! ;-)

Answer 1

Làm thế nào về một typeclass?

{-# 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

Điều này không thể sử dụng đa hình tham số, vì những điều sau đây.

Xem xét các giá trị:

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

Rõ ràng, bạn muốn chức năng của bạn để làm việc với cả hai x và y, do đó loại của nó phải null1 :: [a] -> Bool. (Ai đó có thể giúp tôi làm cho lập luận này trông hình thức? Làm thế nào tôi có thể thấy rằng đây là độc đáo cụ thể nhất bối cảnh ít loại unifiable với [Int] -> Bool và [Double] -> Bool? Có tên cho mối quan hệ đó giữa các loại?)

Bây giờ , nếu bạn có loại này, thì null1 z sẽ bằng null1 x bởi vì chúng chỉ khác nhau về giá trị của các phần tử danh sách, được trừu tượng hóa. (thậm chí không gần bằng chứng chính thức một lần nữa :()

gì bạn muốn cho z là null2 :: [[a]] -> Bool, mà sẽ khác nhau trong hành vi, và do đó đem lại null1 và null2 cùng tên sẽ đòi hỏi quá tải.(xem câu trả lời của FUZxxl)