Matematické Fórum

Vždycky je potřeba nejdřív napsat, jak to má dopadnout pro Zero a pak jak z chování pro a odvodit chování pro Succ a.

parnost Zero = true; //nula je párná
parnost (Succ a) = not (parnost a); //číslo a+1 má opačnou paritu než a

sucet Zero b = b; //nula+cokoliv je cokoliv
sucet (Succ a) b = sucet a (Succ b); //(a+1)+b=a+(b+1) -- Haskell takto přepisuje součet, až může použít první pravidlo

Ukázaḱa  fungování součtu:
3+2=2+3=1+4=0+5=5 -- nejdřív třikrát použijeme druhé pravidlo, pak první.