You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Binární strom●●algebraické typy mohou být i rekurzivními typickýmpříkladem jsou stromybinární strom nesoucí celá čísla●data Tree = Node Integer Tree Tree | Emptypro testovací účely je dobré, pokud je strom převoditelnýna řetězec (a tudíž jej lze vypsat). To lze nejjednodušejizajistit doplnění následující klauzule k definici typu:deriving Showtyp se tak automaticky zařadí do třídy Show(=převoditelné na řetězce) a je automaticky vytvořenaelementární metoda show (zobrazuje strukturukonstruktorů)