OGGETTI vs. ALGORITMI
Il funzionamento di algoritmi puņ essere specificato da un contratto che si conclude in un dato momento, come un contratto di vendita.
Un algoritmo trasforma un ingresso prespecificato (pre-condizioni) in una uscita (post-condizioni): se i clienti forniscono un valore che soddisfa le precondizioni, si garantisce un risultato che soddisfa le postcondizioni.
Gli oggetti richiedono la specifica di un contratto che si prolunga nel tem-po, come un contratto di matrimonio.