Gerçek Dünya Haskell Bölüm 3 excercise: ile İkili Ağacı yapıcısı

Question

Bölüm 3 ikili ağaç temsil etmesi için şu özyinelemeli türünü tanımlar 1 değeri:

egzersiz tek bir değer Oluşturucu kullanarak aynı tip uygulamak gerekir

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

, "Belki" türünü kullanarak alt düğümleri başvurmak için:

(sayfa 60 Bölüm 3 Alıştırma 2 itibaren) "bizim Java örnekte olduğu gibi, sadece tek bir yapıcı olan bir ağaç türü tanımlayın yerine Boş ait. kurucu, kullanmak için Belki türü refe Bir düğümün çocuklarına r "

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

Ancak bu gibi diğer boş ağaçları içeren bir ağaç için izin vermez:

ben ile geldi çözüm şudur

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

Ve değilim emin neden, "Belki" "Belki" türü için bir değer yapıcı değil mi?

Answer 1

Bu hataya neden olan Nothing değer yapıcısı değil. Üst düzey ağacına geçiş yaptığınız iki dal size Maybe (AltTree a) türünde olmalıdır, ancak her ikisi de (AltNode 2 Nothing Nothing) ve (AltNode 3 Nothing Nothing) türünde AltTree Int tipine sahiptir. Onlardan Maybe türlerini oluşturmak için Just değer yapıcısını kullanmanız gerekir.

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