Difference between revisions of "Ro/Haskell/Mini-biblioteca-de-Haskell"
m (Pagina noua pentru Mini-Biblioteca de Haskell, in dezvoltare) |
m |
||
Line 2: | Line 2: | ||
Nici 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. [[Ro/Haskell/Mini-biblioteca-de-Haskell]] |
Nici 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. [[Ro/Haskell/Mini-biblioteca-de-Haskell]] |
||
− | * Ca introducere cititi tot ce gasiti sub titlul "A History of Haskell". |
+ | * Ca introducere cititi tot ce gasiti sub titlul "A History of Haskell". <br> |
+ | |||
− | * [http://haskell.org/tutorial/haskell-98-tutorial.pdf "A Gentle Introduction |
+ | * [http://haskell.org/tutorial/haskell-98-tutorial.pdf "A Gentle Introduction to Haskell ] O lucrare celebra scrisa de o echipa absolut remarcabila. Daca nume ca Los Alamos Lab. si Yale Univ. va spun ceva :) Este atat de cunoscuta incat i se spune doar "Gentle". <br> Daca stiti limba franceza mai bine decat limba engleza descarcati versiunea de [http://www.haskell.org/sitewiki/images/5/5e/GentleFR.pdf aici] produs al unei echipe din grupul Fr/Haskell, document pe care l-am pus in format [http://www.haskell.org/sitewiki/images/5/5e/GentleFR.pdf pdf] dupa o ultima corectura. <br> Daca doriti sa contribuiti la traducerea ei in limba romana mergeti la pagina principala Ro/Haskell apoi la cea cu Traduceri si Voluntariat. |
⚫ | |||
+ | |||
⚫ | * O prezentare magnifica a monadei de I/O, a abordarilor concurentei, exceptiilor si a altor elemente utile practicianului (apeluri de functii de I/O ale sistemului de operare) gasiti in fascinanta expunere [http://research.microsoft.com/~simonpj/papers/marktoberdorf/mark.pdf "Tackling the Awkward Squad:..." de Simon Peyton Jones]. Neaparat de citit. |
||
⚫ | |||
⚫ | * The Haskell Road to Logic, Maths and Programming by Kees Doets and Jan van Eijck are de catva timp o pagina web de reclama :( dar cu niste surse :) in Haskell [http://homepages.cwi.nl/~jve/HR/ aici.] Vi se permite sa descarcati un fisier postscript GZip-at [http://www.cwi.nl/~jve/HR/HR-27.ps.gz direct de aici.] S-ar putea sa nu-i impresioneze pe cei ce studiaza "Computer Science". Dar niste mici exemple :) in Haskell tot gasiti. |
||
+ | |||
⚫ | |||
⚫ | * O prezentare magnifica a monadei de I/O, a abordarilor concurentei, exceptiilor si a altor elemente utile practicianului (apeluri de functii de I/O ale sistemului de operare) gasiti in fascinanta expunere [http://research.microsoft.com/~simonpj/papers/marktoberdorf/mark.pdf "Tackling the Awkward Squad:..." de Simon Peyton Jones]. Neaparat de citit. <br> |
||
⚫ | * [http://www.ling.gu.se/~peb/pubs/Ljunglof-2002a.pdf "Pure Functional Parsing - an advanced tutorial" de Peter Ljunglöf]. Cred ca poate fi considerata acum o lucrare clasica. Ideala pentru cei care se ocupa de limbaje formale si parsere in Haskell. Probabil dupa ce o veti citi veti renunta la a demonstra cum anumite limbaje nu sunt independente de context preferand abordarea mai constructiva care prezinta arata felul cum se scriu parserele respective. Nu uitati: combinatorii de parsere sunt un instrument mai puternic de recunoastere a limbajelor decat gramaticile independente de context. [http://www.ling.gu.se/~peb/pubs/Ljunglof-2002a.pdf - Pure Functional Parsing - an advanced tutorial: download de aici] De exemplu felul cum limbajul "a la n, b la n, c la n" cat si limbajul cuvintelor duplicate pot fi usor acceptate de parsere create folosind combinatorii de parsere il gasiti la 2.6.1 pg 21 din capitolul 2. |
||
+ | |||
⚫ | * The Haskell Road to Logic, Maths and Programming by Kees Doets and Jan van Eijck are de catva timp o pagina web de reclama :( dar cu niste surse :) in Haskell [http://homepages.cwi.nl/~jve/HR/ aici.] Vi se permite sa descarcati un fisier postscript GZip-at [http://www.cwi.nl/~jve/HR/HR-27.ps.gz direct de aici.] S-ar putea sa nu-i impresioneze pe cei ce studiaza "Computer Science". Dar niste mici exemple :) in Haskell tot gasiti. <br> '''NOU''':Acum puteti obtine intreaga carte prin download. [http://fldit-www.cs.uni-dortmund.de/~peter/PS07/HR.pdf - <Download> The Haskell Road to Logic, Maths and Programming ] Cartea nu solicita un asa grozav back-ground matematic si este scrisa in stil accesibil, literate-Haskell. <br> |
||
+ | |||
⚫ | |||
+ | |||
⚫ | * [http://www.ling.gu.se/~peb/pubs/Ljunglof-2002a.pdf "Pure Functional Parsing - an advanced tutorial" de Peter Ljunglöf]. Cred ca poate fi considerata acum o lucrare clasica. Ideala pentru cei care se ocupa de limbaje formale si parsere in Haskell. Probabil dupa ce o veti citi veti renunta la a demonstra cum anumite limbaje nu sunt independente de context preferand abordarea mai constructiva care prezinta arata felul cum se scriu parserele respective. Nu uitati: combinatorii de parsere sunt un instrument mai puternic de recunoastere a limbajelor decat gramaticile independente de context. [http://www.ling.gu.se/~peb/pubs/Ljunglof-2002a.pdf - Pure Functional Parsing - an advanced tutorial: download de aici] De exemplu felul cum limbajul "a la n, b la n, c la n" cat si limbajul cuvintelor duplicate pot fi usor acceptate de parsere create folosind combinatorii de parsere [il gasiti la 2.6.1 pg 21 din capitolul 2.] <br> |
||
+ | |||
* "Grammars and Parsing" de Johan Jeuring si Doaitse Swierstra a fost/este disponibila la:[http://lampwww.epfl.ch/~michelou/links/compiler/files/MAIN.pdf - Download! Cititi din ea neaparat capitolele urmatoare: ] [[Ce merita sa cititi]] aflati de aici. Incep sa o consider deja clasica, buna pentru un curs de initiere in domeniu, Au aparut si lucrari mai... moderne. |
* "Grammars and Parsing" de Johan Jeuring si Doaitse Swierstra a fost/este disponibila la:[http://lampwww.epfl.ch/~michelou/links/compiler/files/MAIN.pdf - Download! Cititi din ea neaparat capitolele urmatoare: ] [[Ce merita sa cititi]] aflati de aici. Incep sa o consider deja clasica, buna pentru un curs de initiere in domeniu, Au aparut si lucrari mai... moderne. |
||
+ | <br> |
||
* [http://www.cs.uu.nl/people/jeroen/courses/fp-eng.pdf Functional Programming] "Programare Functionala" de Jeroen Fokker, 1995. (in engleza, 153 pages, 600 KB). Un manual de programare functionala cu exemple rulabile sub Gofer (cel care a precedat interpretorul Hugs pt. Haskell). Lipsesc capitolele 6 si 7. Hugs difera de Gofer asa ca merita sa testati aceste exemple daca predati Haskell folosind Hugs sau GHC. [[Ce merita sa cititi]] din ea aflati de aici. |
* [http://www.cs.uu.nl/people/jeroen/courses/fp-eng.pdf Functional Programming] "Programare Functionala" de Jeroen Fokker, 1995. (in engleza, 153 pages, 600 KB). Un manual de programare functionala cu exemple rulabile sub Gofer (cel care a precedat interpretorul Hugs pt. Haskell). Lipsesc capitolele 6 si 7. Hugs difera de Gofer asa ca merita sa testati aceste exemple daca predati Haskell folosind Hugs sau GHC. [[Ce merita sa cititi]] din ea aflati de aici. |
||
+ | <br> |
||
* Un tutorial valoros, clasic, despre folosirea si implicatiile existentei functiilor ''fold'' este (se putea gasi) aici:[http://www.cs.nott.ac.uk/~gmh/foldl.pdf A tutorial on the universality and expressiveness of fold ]- by Graham Hutton, Univ. of Nottingham, UK. face parte din setul de materiale didactice ale cursului de Programare Functionala. |
* Un tutorial valoros, clasic, despre folosirea si implicatiile existentei functiilor ''fold'' este (se putea gasi) aici:[http://www.cs.nott.ac.uk/~gmh/foldl.pdf A tutorial on the universality and expressiveness of fold ]- by Graham Hutton, Univ. of Nottingham, UK. face parte din setul de materiale didactice ale cursului de Programare Functionala. |
||
+ | <br> |
||
+ | |||
+ | * Simon P.J. - you know who - Haskell Report [http://www.haskell.org/definitions/haskell-98-report.pdf - <Download> Haskell Report.] Atentie, volumul este pentru programatorii avansati si pentru curiosii care doresc detalii exacte despre limbajul in sine. <br> |
||
+ | |||
+ | * Simon P.J. - you know who - Haskell 98 The Revised Report [http://research.microsoft.com/~simonpj/haskell-98-revised/ - Haskell 98 The Revised Report.] Atentie, volumul este pentru programatorii avansati si pentru curiosii care doresc detalii exacte despre limbajul in sine. <br> |
||
+ | |||
+ | * Real World Haskell, in pregatire: [http://book.realworldhaskell.org/beta/index.html - Site-ul Real World Haskell.] Nici un pdf deocamdata. <br> |
||
+ | ==. Alte surse de articole si materiale despre Haskell == |
||
− | + | O sursa de articole valoroasa este si site-ul Citeseer.Il gasiti cu Google, daca nu-i tineti minte adresa. Mai nou exista si un CiteseerX, in faza beta. |
|
==. Mini biblioteca de grafica in Haskell cu Open GL == |
==. Mini biblioteca de grafica in Haskell cu Open GL == |
Revision as of 05:25, 20 August 2008
. Mini-biblioteca despre Haskell, Hugs,GHC si Limbaje Formale On Line
Nici 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. Ro/Haskell/Mini-biblioteca-de-Haskell
- Ca introducere cititi tot ce gasiti sub titlul "A History of Haskell".
- "A Gentle Introduction to Haskell O lucrare celebra scrisa de o echipa absolut remarcabila. Daca nume ca Los Alamos Lab. si Yale Univ. va spun ceva :) Este atat de cunoscuta incat i se spune doar "Gentle".
Daca stiti limba franceza mai bine decat limba engleza descarcati versiunea de aici produs al unei echipe din grupul Fr/Haskell, document pe care l-am pus in format pdf dupa o ultima corectura.
Daca doriti sa contribuiti la traducerea ei in limba romana mergeti la pagina principala Ro/Haskell apoi la cea cu Traduceri si Voluntariat.
- YAHT - Celebra carte "Yet an other Haskell Tutorial" - <Download> YAHT Incercati si la http://darcs.haskell.org/yaht/yaht.pdf
- O prezentare magnifica a monadei de I/O, a abordarilor concurentei, exceptiilor si a altor elemente utile practicianului (apeluri de functii de I/O ale sistemului de operare) gasiti in fascinanta expunere "Tackling the Awkward Squad:..." de Simon Peyton Jones. Neaparat de citit.
- The Haskell Road to Logic, Maths and Programming by Kees Doets and Jan van Eijck are de catva timp o pagina web de reclama :( dar cu niste surse :) in Haskell aici. Vi se permite sa descarcati un fisier postscript GZip-at direct de aici. S-ar putea sa nu-i impresioneze pe cei ce studiaza "Computer Science". Dar niste mici exemple :) in Haskell tot gasiti.
NOU:Acum puteti obtine intreaga carte prin download. - <Download> The Haskell Road to Logic, Maths and Programming Cartea nu solicita un asa grozav back-ground matematic si este scrisa in stil accesibil, literate-Haskell.
- "Pure Functional Parsing - an advanced tutorial" de Peter Ljunglöf. Cred ca poate fi considerata acum o lucrare clasica. Ideala pentru cei care se ocupa de limbaje formale si parsere in Haskell. Probabil dupa ce o veti citi veti renunta la a demonstra cum anumite limbaje nu sunt independente de context preferand abordarea mai constructiva care prezinta arata felul cum se scriu parserele respective. Nu uitati: combinatorii de parsere sunt un instrument mai puternic de recunoastere a limbajelor decat gramaticile independente de context. - Pure Functional Parsing - an advanced tutorial: download de aici De exemplu felul cum limbajul "a la n, b la n, c la n" cat si limbajul cuvintelor duplicate pot fi usor acceptate de parsere create folosind combinatorii de parsere [il gasiti la 2.6.1 pg 21 din capitolul 2.]
- "Grammars and Parsing" de Johan Jeuring si Doaitse Swierstra a fost/este disponibila la:- Download! Cititi din ea neaparat capitolele urmatoare: Ce merita sa cititi aflati de aici. Incep sa o consider deja clasica, buna pentru un curs de initiere in domeniu, Au aparut si lucrari mai... moderne.
- Functional Programming "Programare Functionala" de Jeroen Fokker, 1995. (in engleza, 153 pages, 600 KB). Un manual de programare functionala cu exemple rulabile sub Gofer (cel care a precedat interpretorul Hugs pt. Haskell). Lipsesc capitolele 6 si 7. Hugs difera de Gofer asa ca merita sa testati aceste exemple daca predati Haskell folosind Hugs sau GHC. Ce merita sa cititi din ea aflati de aici.
- Un tutorial valoros, clasic, despre folosirea si implicatiile existentei functiilor fold este (se putea gasi) aici:A tutorial on the universality and expressiveness of fold - by Graham Hutton, Univ. of Nottingham, UK. face parte din setul de materiale didactice ale cursului de Programare Functionala.
- Simon P.J. - you know who - Haskell Report - <Download> Haskell Report. Atentie, volumul este pentru programatorii avansati si pentru curiosii care doresc detalii exacte despre limbajul in sine.
- Simon P.J. - you know who - Haskell 98 The Revised Report - Haskell 98 The Revised Report. Atentie, volumul este pentru programatorii avansati si pentru curiosii care doresc detalii exacte despre limbajul in sine.
- Real World Haskell, in pregatire: - Site-ul Real World Haskell. Nici un pdf deocamdata.
. Alte surse de articole si materiale despre Haskell
O sursa de articole valoroasa este si site-ul Citeseer.Il gasiti cu Google, daca nu-i tineti minte adresa. Mai nou exista si un CiteseerX, in faza beta.
. Mini biblioteca de grafica in Haskell cu Open GL
[august 2008] Este disponibil de catva timp urmatorul volum despre vizualizarea rezultatelor aplicatiilor folosind Open GL in Haskell. Autorul l-a prezentat sub un titlu ambitios: Breautifull Code. De altfel imaginile generate merita aprecierea de "beautifull". <Download> al acestui volum de grafica in Open GL si Haskell. Link extern !
. Sala de lectura: Merita sa cititi !
Se spune despre carti ca ajung sa fie citite in intregime destul de rar. Despre o carte se spune ca este buna daca ea contine ceea ce stii deja. Altfel n-o poti aprecia. Asa ca o vei citi, probabil, tot selectiv. Ce merita sa cititi aflati de aici. Lista va trebui completata, au aparut multe materiale noi.
Pagina in dezvoltare.