Io-7-wyk-Slajd68

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Implementacje niestandardowe(2)

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).


<< Poprzedni slajd | Spis treści | Następny slajd >>