Personal tools

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

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
 
m
 
Line 1: Line 1:
  +
[[Category:Ro]]
  +
 
Da, deoarece sunt o multime de structuri algebrice implementabila ca un tip abstract de date.
 
Da, deoarece sunt o multime de structuri algebrice implementabila ca un tip abstract de date.
   
Line 4: Line 6:
   
 
Implementarea se face definind o clasa de tipuri cu '' class ''.
 
Implementarea se face definind o clasa de tipuri cu '' class ''.
Iar implementarea unui anumit grup abelian se face decalarand o ''instanta'' a acelei clase.
+
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.
 
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.
 
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'. ]

Latest revision as of 12:06, 6 February 2011


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