Grupurile Abeliene pot fi considerate si implementate ca o clasa de tipuri ?

From HaskellWiki
Revision as of 19:39, 10 June 2009 by Ha$kell (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Da, deoarece sunt o multime de structuri algebrice implementabila ca un tip abstract de date.

Altfel spus sunt niste entitati matematice formate dintr-o multime si anumite operatii, cu aceleasi semnaturi si aceleasi proprietati la toate grupurile abeliene.

Implementarea se face definind o clasa de tipuri cu class . Iar implementarea unui anumit grup abelian se face decalarand o instanta a acelei clase.

Treaba decurge ca la obiecte numai ca aici 'obiectele' sunt de fapt structuri de date / structuri algebrice / tipuri de date.

Nu uitati: un tip de date este mai mult decat o multime, e o multime insotita de operatii.