Personal tools

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, 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.