Ok pridavam vedomost, ktoru by snad mohol niekto vyuzit
Popis... Funkcionalny program, ktory ma definovany vlastny datovy typ Bitseq, ktory reprezentuje spocetne nekonecnu sekvenciu jednotiek a nul

Nalsedne je definovana funkcia "ones", ktora rekurzivne pocita pocet jednotiek v lubovolnej sekvencii jednotiek a nul definovanej tymto typom...

Program resp. funkcia 'ones' ma cisto demonstracnu ulohu (definicia vlastneho typu a jeho pouzitie) a neviem si predstavit jeho prakticke aplikacne vyuzitie :)


data Bit = Zero | One
data Bitseq = Nil | Cons Bit Bitseq

ones :: Bitseq -> Int
ones Nil = 0
ones (Cons One x) = 1 + ones (x)
ones (Cons Zero x) = ones (x)


Pre demonstraciu - bitova reprezentacia postupnosti '1101' by zapisana v tejto typovej notacii vyzerala nasledovne:>>
(Cons One (Cons One (Cons Zero (Cons One Nil))))

Don\'t Tase Me, Bro!