Difference between revisions of "Ce merita sa cititi"

From HaskellWiki
Jump to navigation Jump to search
m
 
(15 intermediate revisions by the same 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>
  +
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.
Pagina in curs de constructie.
 
   
 
</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://www.cs.uu.nl/docs/vakken/gont/diktaat.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>
   
  +
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 44:
 
* 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. Cartea se putea candva descarca de aici! External link !
  +
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 14:28, 18 February 2015

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.

. 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://www.cs.uu.nl/docs/vakken/gont/diktaat.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.

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

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

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


. 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 putea candva descarca de aici! External link ! 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 !

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