Grupurile Abeliene pot fi considerate si implementate ca o clasa de tipuri ?
From HaskellWiki
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'. ] | ||
Current revision
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.
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'.
