caramel

7calore

1risposta

È possibile implementare `max` efficientemente sul calcolo lambda non tipizzato?

min è di solito definito sul lambda calcolo non tipizzata come (usando Caramel's syntax): sub a b = (b pred a) <= a b = (is_zero (sub b a)) min a b = (<= a b a b) Questo è terribilmente inefficien