Real World Haskell Chương 3 excercise: Cây nhị phân với 1 giá trị constructor

Question

Chương 3 định nghĩa kiểu đệ quy sau đây để đại diện cho một cây nhị phân:

data Tree a = Node a (Tree a) (Tree a) 
      | Empty 
       deriving (Show) 

Cuộc diễn tập đòi hỏi tôi thực hiện cùng loại sử dụng một constructor giá trị duy nhất, bằng cách sử dụng "Maybe" loại để đề cập đến các nút con:

(Từ Chương 3 Bài tập 2 trên trang 60)

"Xác định một loại cây mà chỉ có một nhà xây dựng, như ví dụ Java của chúng tôi Thay vì Empty. constructor, sử dụng kiểu Có thể để refe r cho trẻ em của một nút. "

Các giải pháp tôi đã đưa ra như sau:

data AltTree a = AltNode a (Maybe (AltTree a)) (Maybe (AltTree a)) 
       deriving (Show) 

Tuy nhiên, điều này không cho phép một cây có chứa cây rỗng khác, chẳng hạn như:

AltNode 1 (AltNode 2 Nothing Nothing) (AltNode 3 Nothing Nothing) 

Và tôi không chắc chắn tại sao, là "Không có gì" không phải là một hàm tạo giá trị cho kiểu "Có thể"?

Answer 1

Đây không phải là hàm tạo giá trị Nothing gây ra lỗi của bạn. Hai chi nhánh bạn vượt qua cây cấp cao nhất phải có loại Maybe (AltTree a), nhưng cả hai (AltNode 2 Nothing Nothing) và (AltNode 3 Nothing Nothing) đều có loại AltTree Int. Bạn phải sử dụng hàm tạo giá trị Just để tạo các giá trị của loại Maybe từ chúng. Giống như

AltNode 1 (Just (AltNode 2 Nothing Nothing)) (Just (AltNode 3 Nothing Nothing))