Tip je unarny datovy konstruktor a Bin je binarny datovy konstruktor... pricom Bin je typu Btree -> Btree
ako tak pozeram tak som z toho jelen...
Ale hej, vidno ze mas prehlad
Napriek tomu by som sa pokusil to vsetko zhrnut pre tych co sa este len dostavaju do diskusie...
Priklad pre
data Btree = Nil | Node a (Btree a) (Btree a) :
Podla obrazka poskytovanom na wikipedii
http://upload.wikimedia.org/wikipedia/commons/f/f7/Binary_tree.svg by sa situacia podla hore uvedeneho typu dala znazornit takto
Node 2 / \
Node 7 Node 5 / \ / \
Node 2 Node 6 Nil
Node 9 /\ / \ / \
Nil Nil
Node 5 Node 11 Node 4 Nil
/\ /\ /\
Nil Nil Nil Nil Nil Nil
Nemam sajnu ako to ma vyzerat podla typu
data Btree a = Tip a | Bin (Btree a) (Btree a)... Neviem si predstavit to vyhodnotenie uzla podla
Bin (Btree a) (Btree a) (podvedomie mi hovori ze tam ma byt Bin
a). Som prepokladal ze Nil-ká budu uplne chybat a ze listy stromu budu prave definovane formou
Tip a (ostatok Bin-kami)... No som z toho bronzova srnka