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

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.