Personal tools

Ce merita sa cititi

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m
 
(12 intermediate revisions by one user not shown)
Line 1: Line 1:
  +
[[Category:Ro]]
 
[[Image:Haskelllogo-small-flag-RO-8.jpg|center|Haskell - Un limbaj functional pur]]
 
[[Image:Haskelllogo-small-flag-RO-8.jpg|center|Haskell - Un limbaj functional pur]]
   
 
<center>
 
<center>
Pagina in curs de constructie.
+
In ciuda efortului facut pentru a citi un manual intr-o limba straina, '''merita''' sa cititi aceste pagini din cartile in limbi straine. (Lista de mai jos este in curs de constructie. Ne propunem s-o dezvoltam.) Daca vi se par grele, parcurgeti intai acele [[Capitole de manual]] in limba romana.
   
 
</center>
 
</center>
Line 10: Line 11:
 
| valign=top bgcolor=#F0F0F0 style="text-align:left" |
 
| valign=top bgcolor=#F0F0F0 style="text-align:left" |
   
==. Din cartea "Grammars and Parsing" de Johan Jeuring si Doaitse Swierstra == Cartea a fost/este disponibila la:[http://lampwww.epfl.ch/~michelou/links/compiler/files/MAIN.pdf - Download! Cititi din ea neaparat capitolele urmatoare: ]
+
==. Din cartea "Grammars and Parsing" de Johan Jeuring si Doaitse Swierstra ==
  +
"Grammars and Parsing" de Johan Jeuring si Doaitse Swierstra a fost candva 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.
  +
[http://docs.google.com/viewer?a=v&q=cache:pbWfUa2dX2cJ:www.ldc.usb.ve/~astorga/Formal%2520Languages%2520using%2520Haskell.pdf+Grammars+and+parsing+Doaitse+swierstra+.pdf&hl=ro&gl=ro&pid=bl&srcid=ADGEESjo3eLCJ2CReotMN9Vbi-ew-ZVs5QAXXuyeE6XVfk9pkpW5l4mMuvMoYxxABdWODpOMLmtChE82kDs9tdocJEWh-bVA8mA32oorIfE7VXjPA6Eoac7YobOSfm16oLtqoILYuD9N&sig=AHIEtbQ1ASxy_K-v5Tb4CwZ2ZufsymFC8w Acum cred ca puteti sa o mai gasiti aici !]
  +
<br>
   
  +
Cititi din ea neaparat capitolele urmatoare:
 
* 3.1 The type 'Parser' de la pagina 47
 
* 3.1 The type 'Parser' de la pagina 47
 
* 3.2 Elementary parsers de la pagina 49
 
* 3.2 Elementary parsers de la pagina 49
 
* 3.3 Parser combinator de la pagina 52 <br> si mai departe... inclusiv
 
* 3.3 Parser combinator de la pagina 52 <br> si mai departe... inclusiv
 
* 5.1 Finite state automata de la pagina 85 <br> si urmatoarele capitole
 
* 5.1 Finite state automata de la pagina 85 <br> si urmatoarele capitole
  +
  +
  +
Cei interesati de Limbaje formale si automate merita sa arunce o privire la:
  +
* DFA implementation p 85
  +
* Grammar and parser design p 69
  +
* Regular grammars p 91
  +
* Algebraic Semantic p 118
  +
* Compiling to Stack Machine p 123 , 142 - 144
  +
* Block Structured Language p 125
  +
* RepMin ... cu algebre p 136
  +
  +
   
 
==. Din cartea "Programare Functionala" de Jeroen Fokker ==
 
==. Din cartea "Programare Functionala" de Jeroen Fokker ==
Line 29: Line 43:
 
* O buna colectie de functii Gofer la sfarsit si multe exercitii si probleme.
 
* O buna colectie de functii Gofer la sfarsit si multe exercitii si probleme.
   
  +
==. Din cartea "Domain-specific languages in software development ... de Niels H. Christensen ==
  +
* pg 20 - Despre DSL-uri
  +
* pg 46 - Ceva despre Erlang in Haskell
  +
* pg 47 - O prezentare/introducere in Erlang
  +
* pg 50 -> 68 ... - Semantica unui mini Erlang
  +
* pg 72 - Evaluare partiala
  +
* pg 74 - Server si client interior
  +
* pg 80 - Simularea unei r e t e l e n e u r o n a l e recurente
  +
* pg 83 - ..si o demonstratie de corectitudine
  +
* pg 90, 91 O anecdota si altele
  +
* pg 111 Un evaluator de expresii / Interpretor de expresii
  +
* pg 120 Mori/SQL - studiu de caz
  +
* pg 149 Algebra pentru Mori/SQL
  +
* pg 150 Sintaxa acestei algebre
  +
* pg 152 Parsarea / Analiza sintactica a unei interogari
  +
* pg 155 Semantica denotationala :)
  +
* pg 156, 157 Despre tipizare si un sistem de tipuri pentru expresii si echivalente de interogari
  +
O gasiti / ar trebui s-o gasiti pe
  +
[http://citeseer.ist.psu.edu/old/christensen03domainspecific.html Citeseer]
  +
  +
View or download directly - external link:
  +
[ftp://ftp.diku.dk/diku/semantics/papers/D-497.ps.gz <Download ps.gz.> ]
  +
  +
or ftp [ftp://ftp.diku.dk/diku/semantics/papers/D-497.pdf <Download pdf.> ]
  +
  +
  +
==. Din cartea: The Craft of Functional Programming ==
  +
  +
[[Image:The_Craft_of_Functional_Programming.jpg|Cover]] Simon Thompson: [http://www.cs.ukc.ac.uk/people/staff/sjt/craft2e/ <EM>Haskell: The Craft of Functional Programming</EM>], Second Edition,
  +
Addison-Wesley, 507&nbsp;pages, paperback, 1999. ISBN 0-201-34275-8. [http://pdfdatabase.com/download_file_i.php?file=14730255&desc=haskell+.pdf Cartea se poate descarca de aici! External link ! Only for students !]
  +
Sau direct de aici ! [http://homepages.dcc.ufmg.br/~camarao/fp/haskell.pdf]
  +
  +
Pur si simplu au trecut 10 ani de la aparitia acestui volum clasic si
  +
drepturile de autor se intorc la autor. De obicei contractele se fac pe 10 ani cu editorul.(Ceea ce e o supozitie care ar explica ceva.)
  +
  +
Ce merita sa cititi ?
  +
La o prima amintire:
  +
*- Exemplul cu calutul de sah intors pe toate fetele
  +
*- Tipul Either
  +
*- Prelucrarea arborilor folosind o monada
  +
  +
si multe altele.
  +
  +
... voi reveni cu detalii si pagini exacte.
  +
  +
  +
----
  +
1999 - 2009
  +
Happy aniversary Haskell !
  +
Happy aniversary Craft !
  +
  +
==. Capitole de manual in limba romana ==
  +
  +
In limba romana, se gasesc la pagina [[Capitole de manual]].
   
[http://www.haskell.org/haskellwiki/Ro/Haskell <= Inapoi la pagina principala Ro/Haskell ]
+
----
  +
Hm, cu toate ca e neterminata, aceasta pagina a depasit al 1033 -lea acces/click pe 24 oct 2008.
  +
This page was last modified 13:24, 11 October 2008
  +
This page has been accessed 1,034 times. (24 nov 2008)
  +
iar un an mai tarziu depasea deja dublul acelui numar.
  +
This page has been accessed 2,160 times. (10 nov 2009)
  +
This page has been accessed 2,364 times. (20 dec 2009)
  +
This page has been accessed 3,678 times. (20 ian 2011)
  +
----
  +
Pagina indexata la indexul [[Category:Ro]] [http://www.haskell.org/haskellwiki/Category:Ro Categories:Ro]
  +
----
  +
[http://www.haskell.org/haskellwiki/Ro/Haskell <= Inapoi la inceputul paginii principale Ro/Haskell. ]<br> <br>
  +
[http://www.haskell.org/haskellwiki/Intrebarile_incepatorului <'''-''' Inapoi la Intrebarile incepatorului Ro/Haskell. ]

Latest revision as of 09:14, 19 January 2011

Haskell - Un limbaj functional pur

In ciuda efortului facut pentru a citi un manual intr-o limba straina, merita sa cititi aceste pagini din cartile in limbi straine. (Lista de mai jos este in curs de constructie. Ne propunem s-o dezvoltam.) Daca vi se par grele, parcurgeti intai acele Capitole de manual in limba romana.

[edit] 1 . Din cartea "Grammars and Parsing" de Johan Jeuring si Doaitse Swierstra

"Grammars and Parsing" de Johan Jeuring si Doaitse Swierstra a fost candva 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. Acum cred ca puteti sa o mai gasiti aici !

Cititi din ea neaparat capitolele urmatoare: 
  • 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 capitole


Cei interesati de Limbaje formale si automate merita sa arunce o privire la:

  • DFA implementation p 85
  • Grammar and parser design p 69
  • Regular grammars p 91
  • Algebraic Semantic p 118
  • Compiling to Stack Machine p 123 , 142 - 144
  • Block Structured Language p 125
  • RepMin ... cu algebre p 136


[edit] 2 . Din cartea "Programare Functionala" de Jeroen Fokker

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. Cititi din ea neaparat capitolele urmatoare, mai ales daca sunteti de formatie matematician:

  • Capitolul despre inversarea unei functii: (2.4.4-2.4.5)
  • Un bun capitol in care apar foldl si foldr: (3.1.3)
  • Si cativa algoritmi de sortare: (3.1.4)
  • Liste specificate descriptiv (eng.list comprehensions) gasiti la: (3.2.7)
  • Iar daca lucrati cu concepte din geometrie cititi: (3.3.2)
  • Permutari si combinari la: (4.1.2)
  • Si "@-notatia" la: (4.1.3)
  • Vectori si matrice in Haskell: (4.2.1)
  • O buna colectie de functii Gofer la sfarsit si multe exercitii si probleme.

[edit] 3 . Din cartea "Domain-specific languages in software development ... de Niels H. Christensen

  • pg 20 - Despre DSL-uri
  • pg 46 - Ceva despre Erlang in Haskell
  • pg 47 - O prezentare/introducere in Erlang
  • pg 50 -> 68 ... - Semantica unui mini Erlang
  • pg 72 - Evaluare partiala
  • pg 74 - Server si client interior
  • pg 80 - Simularea unei r e t e l e n e u r o n a l e recurente
  • pg 83 - ..si o demonstratie de corectitudine
  • pg 90, 91 O anecdota si altele
  • pg 111 Un evaluator de expresii / Interpretor de expresii
  • pg 120 Mori/SQL - studiu de caz
  • pg 149 Algebra pentru Mori/SQL
  • pg 150 Sintaxa acestei algebre
  • pg 152 Parsarea / Analiza sintactica a unei interogari
  • pg 155 Semantica denotationala :)
  • pg 156, 157 Despre tipizare si un sistem de tipuri pentru expresii si echivalente de interogari

O gasiti / ar trebui s-o gasiti pe Citeseer

View or download directly - external link: <Download ps.gz.>

or ftp <Download pdf.>


[edit] 4 . Din cartea: The Craft of Functional Programming

Cover Simon Thompson: Haskell: The Craft of Functional Programming, Second Edition, Addison-Wesley, 507 pages, paperback, 1999. ISBN 0-201-34275-8. Cartea se poate descarca de aici! External link ! Only for students ! Sau direct de aici ! [1]

Pur si simplu au trecut 10 ani de la aparitia acestui volum clasic si drepturile de autor se intorc la autor. De obicei contractele se fac pe 10 ani cu editorul.(Ceea ce e o supozitie care ar explica ceva.)

Ce merita sa cititi ? La o prima amintire:

  • - Exemplul cu calutul de sah intors pe toate fetele
  • - Tipul Either
  • - Prelucrarea arborilor folosind o monada

si multe altele.

... voi reveni cu detalii si pagini exacte.



1999 - 2009 Happy aniversary Haskell ! Happy aniversary Craft !

[edit] 5 . Capitole de manual in limba romana

In limba romana, se gasesc la pagina Capitole de manual.


Hm, cu toate ca e neterminata, aceasta pagina a depasit al 1033 -lea acces/click pe 24 oct 2008. This page was last modified 13:24, 11 October 2008 This page has been accessed 1,034 times. (24 nov 2008) iar un an mai tarziu depasea deja dublul acelui numar. This page has been accessed 2,160 times. (10 nov 2009) This page has been accessed 2,364 times. (20 dec 2009) This page has been accessed 3,678 times. (20 ian 2011)


Pagina indexata la indexul Categories:Ro


<= Inapoi la inceputul paginii principale Ro/Haskell.

<- Inapoi la Intrebarile incepatorului Ro/Haskell.