Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
pp:l05 [2019/03/24 18:30] dmihai [Exerciții] |
pp:l05 [2020/02/05 15:50] (current) dmihai [Exerciții] |
||
|---|---|---|---|
| Line 225: | Line 225: | ||
| Empty == Empty = True | Empty == Empty = True | ||
| (Cons a as) == (Cons b bs) = (a == b) && (as == bs) | (Cons a as) == (Cons b bs) = (a == b) && (as == bs) | ||
| + | _ == _ = False | ||
| </code> | </code> | ||
| - | Primul rând exprimă ideea că putem compara două liste //de același tip// (''List a''), doar dacă //elementele lor sunt comparabile// (''(Eq a) =%%>%%''). | + | Primul rând exprimă ideea că putem egala două liste //de același tip// (''List a''), doar dacă //elementele lor sunt egalabile// (''(Eq a) =%%>%%''). |
| Observați că, în expresia celui de-al doilea caz, funcția ''=='' apare de două ori: o dată pentru a compara elemente, o dată pentru a compara liste. Acesta este un exemplu de **polimorfism ad hoc**. Cele două apeluri de ''=='' pot avea implementări diferite (al doilea este mereu un apel recursiv; primul poate fi, de exemplu, comparație între doi întregi, în cazul ''List Int''). | Observați că, în expresia celui de-al doilea caz, funcția ''=='' apare de două ori: o dată pentru a compara elemente, o dată pentru a compara liste. Acesta este un exemplu de **polimorfism ad hoc**. Cele două apeluri de ''=='' pot avea implementări diferite (al doilea este mereu un apel recursiv; primul poate fi, de exemplu, comparație între doi întregi, în cazul ''List Int''). | ||
| Line 282: | Line 283: | ||
| <note> | <note> | ||
| - | Respectarea strictă a tuturor legilor unei clase are excepții. De exemplu, pentru operațiile în virgulă mobilă, o valoare specială [[https://en.wikipedia.org/wiki/NaN|NaN (Not a Number)]] modelează rezultatul anumitor expresii cu rezultat nedefinit. Două valori ''NaN'' nu sunt considerate egale; prin urmare, pentru tipuri ca ''Float'' și ''Double'', operația ''=='' nu respectă proprietatea de reflexivitate: | + | Respectarea strictă a tuturor legilor unei clase are excepții. De exemplu, pentru operațiile în virgulă mobilă, o valoare specială [[https://en.wikipedia.org/wiki/NaN|NaN (Not a Number)]] modelează rezultatul anumitor expresii cu rezultat nedefinit. Două valori ''NaN'' nu sunt considerate egale; prin urmare, pentru tipuri ca ''Float'' și ''Double'', operația ''=='' nu respectă proprietatea de reflexivitate pe întreg domeniul: |
| <code> | <code> | ||
| Line 376: | Line 377: | ||
| c. Ce observați? Cum ați putea simplifica? | c. Ce observați? Cum ați putea simplifica? | ||
| - | {{:pp:lab5_-_schelet.zip|Lab 5 - Schelet}} | + | {{:pp:lab5_-_schelet.zip|Lab 5 - Schelet}}\\ |
| ===== Recommended Reading ===== | ===== Recommended Reading ===== | ||