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

[[Category:Ro]]

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 printr-o declaratie [[instance]] care defineste pentru o multime suport felul cum lucreaza operatiile clasei respective.

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.

PLUS: Vedeti si implementarea lui [[Z4]] in Haskell.

<center>

http://www.haskell.org/wikiupload/2/2c/BannerProLinuxAndHaskell.gif

[http://stiinte.ub.ro La facultate poti invata unul din cele mai productive limbaje: Haskell.]
</center>

----
Pagina indexata la indexul  [[Category:Ro]]  [http://www.haskell.org/haskellwiki/Category:Ro  Categories:Ro]  <BR>

----
[http://www.haskell.org/haskellwiki/Ro/Haskell <= Inapoi la pagina principala Ro/Haskell. ]<br> <br>
[http://www.haskell.org/haskellwiki/Intrebarile_incepatorului <'''-''' Inapoi la inceputul paginii 'Intrebarile incepatorului Ro/Haskell'. ]