Grupurile Abeliene pot fi considerate si implementate ca o clasa de tipuri ?
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.
http://www.haskell.org/wikiupload/2/2c/BannerProLinuxAndHaskell.gif
La facultate poti invata unul din cele mai productive limbaje: Haskell.
Pagina indexata la indexul Categories:Ro
<= Inapoi la pagina principala Ro/Haskell.
<- Inapoi la inceputul paginii 'Intrebarile incepatorului Ro/Haskell'.