Io-7-wyk-Slajd68
Z Studia Informatyczne
Implementacje niestandardowe(2)
Załóżmy, że stałą 0 będziemy realizować jako bezargumentową funkcję zero.
Funkcja succ będzie miała jeden argument będący liczbą naturalną i jej wynikiem też będzie liczba naturalna.
Operacja dodawania będzie realizowana jako funkcja plus, która będzie miała dwa argumenty będące liczbami naturalnymi i wynikiem będzie też liczba naturalna (dla uproszczenia posłużyłem się tutaj typem int, który obejmuje również liczby ujemne, ale z punktu widzenia problemu, o którym chcę powiedzieć nie ma to znaczenia).
