Difference between revisions of "Ro/Haskell"
Line 31: | Line 31: | ||
==. Despre Haskell dorim sa prezentam...== |
==. Despre Haskell dorim sa prezentam...== |
||
− | * [http://www.haskell.org/sitewiki/images/9/97/De_ce_Haskell.pdf De ce Haskell ?]O prezentare a limbajului Haskell din punctul de vedere al unui specialist in Limbaje Formale. Este un capitol dintr-o |
+ | * [http://www.haskell.org/sitewiki/images/9/97/De_ce_Haskell.pdf De ce Haskell ?]O prezentare a limbajului Haskell din punctul de vedere al unui specialist in Limbaje Formale. Este un capitol dintr-o carte de Dan Popa. si are doar 166643 bytes. [http://www.haskell.org/sitewiki/images/9/97/De_ce_Haskell.pdf - download "De ce Haskell ?"] |
* [[ Intrebarile incepatorului ]] - pentru cei care aud prima oara de Haskell |
* [[ Intrebarile incepatorului ]] - pentru cei care aud prima oara de Haskell |
||
Line 37: | Line 37: | ||
* [[Capitole de manual]] |
* [[Capitole de manual]] |
||
− | * [http://haskell.org/hoogle Hoogle,Motorul de cautare pentru functii Haskell din diversele biblioteci se afla aici, la http://haskell.org/hoogle.] Folositi [http://haskell.org/hoogle Hoogle] pentru a invata despre noi functii de biblioteca si pentru a descifra programe. <br> http://www.haskell.org/hoogle/res/hoogle_large.png <br> Puteti cauta atat dupa denumirea functiei cat si dupa tipul acesteia. Exemple: cautati "map" sau "(a -> b) -> [a] -> [b]" ori, de ce nu, chiar tipuri cu preconditii "Ord a => [a] -> [a]". Rezultatele sunt in engleza :( |
+ | * [http://haskell.org/hoogle Hoogle,"Motorul de cautare" pentru functii Haskell din diversele biblioteci se afla aici, la http://haskell.org/hoogle.] Folositi [http://haskell.org/hoogle Hoogle] pentru a invata despre noi functii de biblioteca si pentru a descifra programe. <br> http://www.haskell.org/hoogle/res/hoogle_large.png <br> Puteti cauta atat dupa denumirea functiei cat si dupa tipul acesteia. Exemple: cautati "map" sau "(a -> b) -> [a] -> [b]" ori, de ce nu, chiar tipuri cu preconditii "Ord a => [a] -> [a]". Rezultatele sunt in engleza :( |
==. Aventura lansarii comunitatii Ro-Haskell == |
==. Aventura lansarii comunitatii Ro-Haskell == |
||
Line 53: | Line 53: | ||
multe despre Haskell. Asa ca va intreb pe voi. |
multe despre Haskell. Asa ca va intreb pe voi. |
||
[http://www.myl.ro/forum/index.php?showtopic=1170 - Revedeti opinia pe site-ul revistei.] |
[http://www.myl.ro/forum/index.php?showtopic=1170 - Revedeti opinia pe site-ul revistei.] |
||
+ | * Au primit cu dezinteres materialele, cartile propuse spre editare sau simplele stiri despre Haskell, in ciuda valorii reale a limbajului si a materialelor trimise: |
||
− | |||
+ | ** Editorul Colectiei Linux al Editurii Polirom din Iasi, prof. Gabriel Ciobanu si |
||
+ | ** Editorul de la Editura Universitatii Al. I Cuza la care am fost trimis de un alt profesor ce se aratase interesat. |
||
+ | ** Prof Grigoras Gheorghe care sustine pe site-ul domniei sale ca ar preda un curs de Programare Functionala folosind Haskell |
||
+ | Vom vedea in curand de ce. Reveniti pe Ro/Haskell ca sa aflati. |
||
==. Utilizarea ca instrument de realizare a interpretoarelor == |
==. Utilizarea ca instrument de realizare a interpretoarelor == |
||
Line 76: | Line 80: | ||
− | ==. Lucrari in limba romana== |
+ | ==. Lucrari in limba romana, cronologic== |
+ | 2005 |
||
⚫ | * Descarcati slide-urile lucrarii [http://www.haskell.org/sitewiki/images/5/54/Building_an_interpreter.pdf "Cum sa construiesti un interpretor adaptabil intr-o singura zi!" de Dan Popa], de la Universitatea Bacau care descrie pas cu pas cum se poate<br> construi un interpretor pentru un mic while-language in Haskell.Autorul a <br> folosit in experimente versiunea Hugs din distributia Mandriva Linux 10.0. <br> Lucrarea a fost prezentata la Conferinta ICMI 45. [http://www.haskell.org/sitewiki/images/5/54/Building_an_interpreter.pdf Slide-urile lucrarii sunt in format pdf cu titluri in engleza dar au comentariile in limba romana.] |
||
+ | *Realizarea Interpretoarelor Adaptabile in limbajul Haskell 98 - articol de Dan Popa prezentat la Simpozionul International al Tinerilor Cercetatori ed. 2005, Chisinau, Republica Moldova (21-22 aprilie 2005).[http://www.ase.md/cartea/index.php?page=activitateastiintifica - o poza si date despre organizatori se afla aici] |
||
*Cum puteti scrie un mic asamblor adaptabil in Haskell 98:[http://www.haskell.org/sitewiki/images/2/2f/Cap8-nou-Assembler.pdf Popa, Dan; An assembler in a nutshell ] - Proceedings of the 30th annual Congress of The American-Romanian <br> Academy of Art and Sciences (ARA), Academia de Studii Economice din Moldova,<br> 2005, p. 196-198 x 2 coloane, ISBN 9975-75-313-2 Versiunea in limba romana a lucrarii, in format de capitol de carte. Bibliografia nu este inclusa dar notiunile <br> folosite sunt notiuni fundamentale de teoria categoriilor care pot fi gasite <br> in orice carte de Teoria Categoriilor. |
*Cum puteti scrie un mic asamblor adaptabil in Haskell 98:[http://www.haskell.org/sitewiki/images/2/2f/Cap8-nou-Assembler.pdf Popa, Dan; An assembler in a nutshell ] - Proceedings of the 30th annual Congress of The American-Romanian <br> Academy of Art and Sciences (ARA), Academia de Studii Economice din Moldova,<br> 2005, p. 196-198 x 2 coloane, ISBN 9975-75-313-2 Versiunea in limba romana a lucrarii, in format de capitol de carte. Bibliografia nu este inclusa dar notiunile <br> folosite sunt notiuni fundamentale de teoria categoriilor care pot fi gasite <br> in orice carte de Teoria Categoriilor. |
||
+ | |||
+ | 2006 |
||
⚫ | * Descarcati slide-urile lucrarii [http://www.haskell.org/sitewiki/images/5/54/Building_an_interpreter.pdf "Cum sa construiesti un interpretor adaptabil intr-o singura zi!" de Dan Popa], de la Universitatea Bacau care descrie pas cu pas cum se poate<br> construi un interpretor pentru un mic while-language in Haskell.Autorul a <br> folosit in experimente versiunea Hugs din distributia Mandriva Linux 10.0. <br> Lucrarea a fost prezentata la Conferinta ICMI 45. [http://www.haskell.org/sitewiki/images/5/54/Building_an_interpreter.pdf Slide-urile lucrarii sunt in format pdf cu titluri in engleza dar au comentariile in limba romana.] |
||
+ | |||
==. Carti publicate in limba romana== |
==. Carti publicate in limba romana== |
Revision as of 01:53, 11 February 2007
Limbajul functional succesor al LISP-ului, Scheme-ului si ML-ului !!!
Cel mai productiv limbaj functional !
NOU: A aparut "Introducere in Haskell 98 prin exemple", de Dan Popa.
(Pagina actualizata pe 11.feb.2007)
. IntroducereHaskell este un limbaj de uz general, din categoria limbajelor functionale pure (fara instructiuni imperative sau producatoare de efecte laterale). Foloseste Lazy Evaluation. Beneficiaza de un sistem de tipuri revolutionar, cu tipuri polimorfice si clase de tipuri. Permite programarea cu clase si instante de clase definite utilizator, clasele fiind multimi de structuri algebrice (adica mai mult decat multimi de obiecte). Haskell este DEOSEBIT: El are o sintaxa bidimensionala (bazata pe notiunea de Layout) asa ca simpla aliniere corecta pe verticala va scuteste de paranteze ! Iar daca puneti un spatiu in PLUS nu e o greseala. Sintaxa bidimensionala face programele mult mai clare decat echivalentele lor in LISP (netipizat si cu multe paranteze: LISP = Limbajul InSuportabilelor Paranteze) sau cele in Scheme ori ML. Alte plusuri sunt tipizarea stricta, existenta monadelor si a do-notatiei (o scriere cvasi imperativa posibila intr-un limbaj functional pur) precum si existenta listelor infinite si a "multimilor ordonate" definite descriptiv, numite in manualele de Haskell (in limba engleza) "list comprehensions". Productivitatea programarii in Haskell este net superioara altor limbaje, un algoritm Quicksort scriindu-se in doar 3-4 linii de program nu in 30-40 ca in C sau C++. Dati un click pe link-ul Quicksort pentru a-l vedea. Unul din motivele pentru care Haskell este atat de productiv este posibilitatea de a lucra cu functii de nivel superior, polimorfice, operand inclusiv pe structuri de date definite inductiv. Acele structuri de date beneficiaza de functii de afisare si comparare (si nu numai) generate automat prin "deriving" ori definite de utilizator. V-ati batut capul nu o data sa rescrieti rutinele de afisare ale unor structuri de date compuse (liste de arbori cu noduri perechi de ... samd) care se schimbau pe masura ce dezvoltati proiectul ? Ati refacut mereu functiile de comparatie pentru astfel de structuri de date compuse ? Folositi Haskell si adaugati declaratiilor de date "deriving Show" respectiv "deriving Eq" (Iar lista nu se opreste aici.) Haskell face automat restul si tipul nou creat capata din clipa declararii functiile de afisare sau comparare ce-i sunt necesare fara sa le scrieti dumneavoastra ! Dar le puteti rescrie daca nu va plac. Exista o multime de compilatoare si interpretoare pentru Haskell si sunt disponibile gratuit. Hugs e un interpretor bun pentru primele lectii de Haskell. GHC este un compilator pentru proiecte profesionale. Cititi va rog si paragraful despre: Interpretoare si compilatoare de Haskell disponibile, tot pe aceasta pagina. Apropos: Daca va intereseaza teoria automatelor si limbajelor formale sau metode de transcriere a structurilor de date dintr-un format in altul, Haskell este un instrument excelent. Un translator de la o sintaxa la alta se scrie uimitor de repede, in cateva ore. Ba chiar si un mic limbaj de programare ! Dar nu uitati mai inainte sa cititi ceva despre teoria limbajelor formale. Capitolul dedicat gramaticilor de tip 2 (Context Free Grammmars) din ierarhia lui Chomsky in primul rand dar si celelalte lucrari ale lui Noam Chomsky.
. Despre Haskell dorim sa prezentam...
. Aventura lansarii comunitatii Ro-Haskell
Posted on Oct 12 2005, 03:25 PM Am primit de ceva timp un articol de la colaboratorul nostru Dan Popa, un articol despre programarea in Haskell. Ce parere aveti? V-ar interesa sa cititi despre asa ceva in MyLINUX? Eu sunt intr-o dilema: articolul e bine documentat si bine scris, dar nu sunt sigur ca multa lume ar fi interesata sa invete mai multe despre Haskell. Asa ca va intreb pe voi. - Revedeti opinia pe site-ul revistei.
Vom vedea in curand de ce. Reveniti pe Ro/Haskell ca sa aflati. . Utilizarea ca instrument de realizare a interpretoarelor
. Interpretoare si compilatoare disponibile - pagini in englezaExista o multime de compilatoare si interpretoare pentru Haskell si sunt disponibile gratuit: Hugs (interpretor), GHC (compilator), Hellium (mediu de instruire) si altele. O serie de distributii Linux includ interpretorul Hugs (ex: Mandrake 10.0), altele il ofera pentru download de pe site-ul distributiei (ex: PC Linux OS 9). Unele permit instalarea imediata a interpretorului sau compilatorului de Haskell (ex: Suse 9.x functioneaza cu cele doua binare din distributia Mandrake 10.0).Iar lista nu se opreste aici. Mediul de dezvoltare Kdevelopment permite si realizarea de proiecte in Haskell (are chiar sablon de proiect inclus, pregatit) dar nu uitati sa instalati compilatorul GHC. Versiuni de WinHugs sunt de asemenea disponibile pe platforma Windows. Compilatorul Haskell GHC poate, cu ajutorul unui plug-in special sa lucreze impreuna cu mediul de dezvoltare ECLIPSE ! Nici Visual Studio-ul nu e uitat, exista versiuni in care se poate lucra cu Hasekll. Un instrument util lansat recent este Visual Haskell Puteti descarca software si de pe pagina cu software din site-ul de prezentare a cartii "The Haskell School Of Expression" - Pagina cu link-uri de download.
Iar daca va intereseaza sa descarcati software HDBC-ODBC pentru Windows incercati aceasta pagina cu instructiuni (in engleza).
. Lucrari in limba romana, cronologic2005
2006
. Carti publicate in limba romana
Cartea se adreseaza studentilor de la cursurile de limbaje formale si/sau compilatoare din centrele universitare: Bacau, Iasi. (Daca mai stiti si alte centre unde se studiaza Haskell rog sa mi le aduceti la cunostinta pentru a le adauga pe site.)
. Carti in pregatire in limba romana
Gasiti in sectiunea Capitole de manual a site-ului parti din DRAFT-ul unui manual despre Haskell pe care am sperat sa le includ intr-un volum despre scrierea unor translatoare utile in securizarea sistemelor on-line. Utilizati-le ca un set de lectii de initiere in Haskell desi unele capitole necesare (monade , I/O etc) nu sunt incluse. In final am inclus o parte din ele in volumul "Introducere in Haskell 98 prin exemple".
Vestea proasta: Datorita felului cum se puncteaza asemenea activitati la Universitatea Bacau, impartind punctajul la numarul autorilor si netinind cont de valoarea cartii sau de faptul ca versiunea romaneasca a unei carti libere trebuie integral rescrisa probabil acest proiect va fi amanat ca fiind neprioritar. Pacat :(
. Distributii Linux de Download apreciateLista urmatoare nu este nici pe departe completa.
este si o buna platforma pentru laboratorul de Sisteme de Calcul cu Linux si nici nu solicita PC-uri puternice.
Exista si alte distributii Linux care includ Hugs sau mai puternicul GHC. De asemenea exista portari profesionale pe Solaris.
. Mini-biblioteca despre Haskell, Hugs si Limbaje Formale On LineNici nu va inchipuiati cate materiale exista pe Internet. Voi incerca sa intretin o lista de carti si articole disponibile pe Internet, in format PDF sau macar sa indic pe cele mai valoroase.
3.1 The type 'Parser' de la pagina 47 3.2 Elementary parsers de la pagina 49 3.3 Parser combinator de la pagina 52 si mai departe... inclusiv 5.1 Finite state automata de la pagina 85 si urmatoarele
Dan Popa, initiatorul comunitatii Haskell-Ro, doreste tuturor, atat cadrelor didactice care predau limbaje formale, limbaje functionale sau compilatoare cat si studentilor sai de la Universitatea Bacau care se pregatesc pentru examenul de la jumatatea lunii februarie 2007 (primul examen de Haskell din Romania) o lectura instructiva si cat mai placuta, mai ales ca acum este deja publicat un prim manual romanesc de Haskell: "Introducere in Haskell 98 prin exemple". |