Personal tools

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

From HaskellWiki

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

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