Difference between revisions of "Ro/Haskell"

From HaskellWiki
Jump to: navigation, search
m (News, Roneamt quoted us. 11000 clicks, Rodin upgraded)
(some news moved in the archive)
Line 11: Line 11:
 
'''13 sept 2008''' Ne bucuram sa fim citati pe lista de succese de pe site-ul [http://www.roneamt.ro - Romane fii mai neamt ! - link extern.] Vom expune si noi bulina rosie cu Miorita .. http://www.strat.ro/roneamt/images/banner.jpg asa cum apare si pe [http://www.roneamt.ro Site-ul Roneamt] - sper sa n-o schimbe intre timp. <br>
 
'''13 sept 2008''' Ne bucuram sa fim citati pe lista de succese de pe site-ul [http://www.roneamt.ro - Romane fii mai neamt ! - link extern.] Vom expune si noi bulina rosie cu Miorita .. http://www.strat.ro/roneamt/images/banner.jpg asa cum apare si pe [http://www.roneamt.ro Site-ul Roneamt] - sper sa n-o schimbe intre timp. <br>
 
'''13 sept 2008''' Contorul Ro/Haskell a depasit pragul de 11000 de accese. Am facut un experiment: La 3-4 accese diferite din retele aflate la indemana se inregistreaza doar unul, din motive de proxy servere sau poate din felul cum e construit sistemul de contorizare. Este posibil deci sa fie cel putin 35000 de accese reale, inclusiv din retelele mascate cu NAT sau ascunse dupa proxy-uri. Proiectul de limbaj pseudocod [[Rodin]] pentru invatarea informaticii a trecut de click-ul 250. Nu uitati sa faceti upgrade la versiunea V07 de Limbaj pseudocod [[Rodin]] <br>
 
'''13 sept 2008''' Contorul Ro/Haskell a depasit pragul de 11000 de accese. Am facut un experiment: La 3-4 accese diferite din retele aflate la indemana se inregistreaza doar unul, din motive de proxy servere sau poate din felul cum e construit sistemul de contorizare. Este posibil deci sa fie cel putin 35000 de accese reale, inclusiv din retelele mascate cu NAT sau ascunse dupa proxy-uri. Proiectul de limbaj pseudocod [[Rodin]] pentru invatarea informaticii a trecut de click-ul 250. Nu uitati sa faceti upgrade la versiunea V07 de Limbaj pseudocod [[Rodin]] <br>
'''11 sept 2008''' Brainstorming cu Prof. Marcelina Mocanu (secretar stiintific la Matematica-Informatica) pe tema utilizarilor limbajului Haskell in cercetarea matematica precum si in predarea informaticii/matematicii. Proiectul [Rodin] a primit din partea domniei sale o apreciere spontana si sprijinul domniei sale. S-a discutat si despre extinderi de functii si operatii cu domenii precum si despre calculul simbolic. <br>
+
'''11 sept 2008''' Brainstorming cu Prof. Marcelina Mocanu (secretar stiintific la Matematica-Informatica) pe tema utilizarilor limbajului Haskell in cercetarea matematica precum si in predarea informaticii/matematicii. Proiectul [[Rodin]] a primit din partea domniei sale o apreciere spontana. S-a discutat si despre extinderi de functii si operatii cu domeniile acestora precum si despre calculul simbolic. <br>
'''25 aug 2008''' Ora 10:58. Limbajul Haskell a fost propus ca limbaj de cercetare la Universitatea Bacau (cel putin la sectiile care opereaza cu un continut matematic / informatic reprezentabil in Haskell). Propunerea este de atunci in studiu la domnul Prof. Lazar Gabriel (responsabil cu cercetarea stiintifica) si la doamna Prof. Marcelina Mocanu (secretar stiintific la Matematica-Informatica). Deocamdata nu am primit ambele raspunsuri. Estimam ca domniile lor inca mai compileaza "Standard Prelude". :) :) :) Vom reveni cu amanunte.
 
 
''' 20 aug 2008 ''' Ro/Haskell a ajuns la circa '''1000''' de accese pe luna iar totalul este de aproape '''10500''' accese la aceasta data ('''10464''' mai exact). Am pregatit si o versiune revizuita a lucrarii acceptate ca "talk" la Anglo Haskell 2008. Dificil de upload-at la aceasta ora.
 
<BR>
 
<BR>
 
''' 29 iul 2008 ''' Ro/Haskell va sarbatori in curand '''10000''' de accese contorizate de serverele de la Yale. (actualmente '''9983'''). Cartea "[[Practica interpretarii monadice]]" va avea o prefata semnata de Simon P.J. (Thank you Simon!) Sunt ultimele zile de inscriere la Matematica-Informatica la Universitatea din Bacau. Descarcati [http://www.haskell.org/sitewiki/images/3/3b/Ghid_viitor_student.pdf Ghidul viitorului student, editia 2008]. Proiectul [[Rodin]] a ajuns in faza de prototip. Cautam beta testeri. Dan Popa a descoperit o modalitate de implementare a limbajelor modulare.
 
<BR>
 
 
''' 25-iul-2008 ''' Inca mai sunt locuri pentru studenti la Informatica, la
 
Sectia de Matematica -Informatica de la Universitatea (de stat) din Bacau. Va puteti inscrie pina pe 31 iulie 2008. Cladirea corp C de la intrarea in parc, linga Liceul Pedagogic.
 
In ultima luna s-a lucrat intensiv in Haskell in orasele Iasi, Bacau, Bucuresti, Cluj. Studentii care au avut proiecte in Haskell au predat lucrarile de licenta, devenind licentiati.
 
 
<BR>
 
'''14-iul 2008''' Limbajul Haskell a aparut mentionat in '''[http://www.haskell.org/sitewiki/images/3/3b/Ghid_viitor_student.pdf Ghidul viitorului student, editia 2008]''', destinat absolventilor care doresc sa se inscrie la Sectia de Matematica -'''Informatica de la Universitatea (de stat) din Bacau'''. Atentie: daca doriti sa studiati Haskell nu va inscrieti nici la Universitatea particulara nici la cursurile de Tehnologii IT (sau similare) de la Sectia de Inginerie. Acolo noi nu predam Haskell.
 
 
'''13-iul 2008''' Trei exemplare din [http://www.edusoft.ro/detalii.php?id=81 "Introducere in Haskell 98 prin exemple" ] au fost trimise (si cred ca deja au ajuns) la Universitatea Transilvania din Brasov, La Sectia de Matematica - Informatica. Ar trebui sa gasiti unul la catedra de specialitate, unul la biblioteca studentilor si unul la domnii profesori. Daca nu le gasiti, cititi pagina "[[Capitole de manual]]" unde am postat o parte,destul de consistenta, din carte.
 
 
'''7.iulie.2008:''' In curand materiale on-line din cartea: Programare functionala - O introducere utilizand limbajul Haskell de Mihai Gontineac. Autorul ne-a promis capitole pentru Download care vor apare pe o planificata pagina de pe site-ul dumnealui. Veti putea face download-ul si de aici. [[Download in curand]], cand acest link va fi albastru.
 
 
'''6 iulie 2008:''' La examenele cu putinii restantieri ramasi (care s-au prezentat) toata lumea prezenta a trecut examenul. S-au acordat note de 5 si 7. Domnule student A.B., unde sunteti ? Ati cerut ca examenul sa fie vineri, v-ati scuzat vineri ca nu v-ati pregatit, am reprogramat si am venit duminica pentru dumneavoastra si totusi nu v-ati prezentat !?!
 
 
<br> '''5 iul 2008''' Pe 6 iulie la orele 16, in mod exceptional, studentii care
 
nu au putut participa la precedentul examen de Programare functionala sunt asteptati la o reexaminare (aprobata de Biroul Senat.). Azi Ro/Haskell a fost accesata a '''9008'''-a oara. Acest lucru inseamna ca traficul din 19 ian 2008 pina azi 5 iul 2008 (4 luni si circa jumatate) depaseste tot traficul de la fondarea Ro/Haskell pina in ianuarie, adica de pe aproape un an si jumatate (de fapt vreo 16 luni).
 
 
<br> '''3 iul 2008''' Pe 4 iunie 2008 la orele 12:10 dau examen la Programare Functionala ultimii studenti (restantieri ai promotiei actuale, 2008) de la Facultatea de Matematica si Informatica de la Universitatea Bacau. Le dorim succes ! Cititi pe pagina "[[Intrebarile incepatorului]]" alte lucruri despre restante si restantieri inclusiv cauzele comune care duc la a fi restantier.
 
 
<br> '''3 iul 2008''': Volumul despre tehnici practice de construire de interpretoare "[[Practica interpretarii monadice]]" anuntat de anul trecut este aproape finalizat si a intrat in faza de trimitere la referenti.
 
   
 
</center>
 
</center>

Revision as of 18:51, 13 September 2008

Haskell - Un limbaj functional pur

Haskell este limbajul functional succesor al LISP-ului, Scheme-ului si ML-ului !!!
Cel mai productiv limbaj functional ! Limbajul folosit de autorii limbajului Perl 6 si ales de echipa Linspire, utilizat la Inteligenta artificiala, prelucrari multimedia, Retele Petri, programare functionala in Robotica, sinteza de circuite electronice, motoare de baze de date , cercetare , productie de software "type safe" ...
V-am starnit curiozitatea ? Cititi: Intrebarile incepatorului. Am adaugat raspunsuri noi (16 dec. 2007- 10 feb. 2008).


Stirile lunii: 13 sept 2008 Ne bucuram sa fim citati pe lista de succese de pe site-ul - Romane fii mai neamt ! - link extern. Vom expune si noi bulina rosie cu Miorita .. banner.jpg asa cum apare si pe Site-ul Roneamt - sper sa n-o schimbe intre timp.
13 sept 2008 Contorul Ro/Haskell a depasit pragul de 11000 de accese. Am facut un experiment: La 3-4 accese diferite din retele aflate la indemana se inregistreaza doar unul, din motive de proxy servere sau poate din felul cum e construit sistemul de contorizare. Este posibil deci sa fie cel putin 35000 de accese reale, inclusiv din retelele mascate cu NAT sau ascunse dupa proxy-uri. Proiectul de limbaj pseudocod Rodin pentru invatarea informaticii a trecut de click-ul 250. Nu uitati sa faceti upgrade la versiunea V07 de Limbaj pseudocod Rodin
11 sept 2008 Brainstorming cu Prof. Marcelina Mocanu (secretar stiintific la Matematica-Informatica) pe tema utilizarilor limbajului Haskell in cercetarea matematica precum si in predarea informaticii/matematicii. Proiectul Rodin a primit din partea domniei sale o apreciere spontana. S-a discutat si despre extinderi de functii si operatii cu domeniile acestora precum si despre calculul simbolic.

Cuprinsul paginii Ro/Haskell:


. Stiri Ro/Haskell

Pagina de stiri a grupului Ro/Haskell este aici:Stiri Ro/Haskell. Vor ramane probabil doar ultimele stiri la inceputul paginii principale. Daca va intereseaza limbajul Haskell si nu activitatea comunitatii cititi paragrafele urmatoare. (Nota: link-urile rosii sunt catre pagini in constructie, nu va mai obositi sa dati click pe ele.)


. Introducere

Haskell 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. Apropos de gramaticile lui Chomsky, bibliotecile de combinatori de parsere scrise in Haskell sunt mai puternice decat gramaticile independente de context, deoarece combinatorii de parsere sunt functii cu parametri. De exemplu 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. Si sunt si imediat implementabile ca programe in Haskell. (Cititi din bibliografia din rubrica "minibiblioteca".)


. Despre Haskell dorim sa prezentam...(Hoogle si nu numai)

  • Capitole de manual. Atentie, unele versiuni de Acrobat Reader (din seria 5) au avut probleme de securitate, conform revistelor de Linux. In asemenea situatii va sugeram sa optati mai bine pentru cartile tiparite !

. Umor glume si anecdote despre Haskell

  • Haskell a fost anuntat pe 1 aprilie iar acest lucru nu a fost intentionat. De atunci comunitatea Haskell cultiva un umor savuros, iar ocazional, la 1 aprilie alterneaza adesea stirile serioase cu mesaje pline de umor.Vedeti si paginile de umor in limba engleza de pe http://www.haskell.org.
  • O serie de anecdote sau elemente mai greu de demonstrat dar de altfel vizibile pentru cititorul avizat circula pe seama limbajului Haskell. Ocazional apar si in carti sau cursuri, testand atentia cititorilor / ascultatorilor. Anecdote si afirmatii hazlii.
  • Alt fel de umor despre Haskell il constitue umorul involuntar. De exemplu o discutie despre interpretoarele limbajelor - lucru pe care interlocutorul din exemplul urmator nu l-a inteles - se poate transforma intr-un savuros dialog de genul "vorbesc impreuna si se inteleg separat".
  • Pe pagina cu Intrebarile incepatorului am adaugat intre intrebarile privitoare la IO o povestire despre un discipol in ale Haskell-ului iluminat in momentul in care a aflat cum e definita functia print. Va las s-o descoperiti.
  • Programati si zambiti ! Unele moduri de a scrie programe sau simple expresii in Haskell sunt atat de amuzante incat merita o rubrica separata. De fapt sunt o dovada a flexibilitatii limbajului.

. Aventura lansarii comunitatii Ro-Haskell

  • Introducerea limbajului Haskell in presa de specialitate informatica fie ca era vorba despre reviste sau carti s-a dovedit o adevarata aventura. Editurile de exemplu doar declarau ca sunt interesate de cartile despre noile limbaje dar doreau si doresc in principal sa va vanda doar carti despre HTML, WEB si C. Am primit un ajutor nesperat din partea revistei MyLinux care a initiat primul sondaj din Romania
    Romania.gif
    privind interesul cititorilor pentru un limbaj atat de nou si productiv. Au inceput cu: Doriti un articol despre Haskell ? Ati auzit de Haskell ? - Sondajul exista inca pe site-ul revistei MyLinux actualmente comasata cu MyHardware. - Sondaj din 2005. Pe scurt cateva pareri incurajatoare, limbajul in care sunt exprimate apartine autorilor lor:
    • Opinie: "Unii spun ca e chiar mai "object-oriented" decat Python.O prezentare a acestuia intr-un limbaj accesibil tuturor ar fi interesanta."
    • Opinie: "Da, e un limbaj destul de mişto. Chiar ar fi util pentru cei care n-au auzit de el."
    • Opinie: "Pare interesant , din cate stiu compilatorul de Perl6 este scris in haskel. [1]"
  • Multumesc pe aceasta cale echipei care a pus la dispozitie infrastructura site-ului si a asigurat astfel web hosting-ul (Wiki etc) atat la Yale Univ. cat si pe site-ul MyLinux.
  • Opinia editorului revistei MyLinux
  • Editura EduSoft ne-a sprijinit inca de la lansare publicand prima carte din Romania in care este pomenit limbajul Haskell un manual de Oberon 2 scris in perioada 2002-2005 care in capitolul introductiv prezenta si alte paradigme si limbaje, incluzand aici si limbajul Haskell. Tot Editura EduSoft a publicat prima carte dedicata integral Haskell-ului. - primul manual de Haskell in limba romana.
  • Anul 2006 a fost un an in care Haskell-ul s-a folosit parca pe ascuns. In lumina urmatoarelor mesaje pe care le-am primit a rezultat ca s-a lucrat in Haskell in Romania in acea perioada si au existat maxime locale de interes pentru Haskell, putin popularizate.
  • Conf. Mihai.Gontineac propune si anunta (pe 8 iunie 2007) continuarea unor cercetari de algebra superioara si teoria categoriilor insotite de aplicatii in Haskell. De asemenea anunta intentia ca la aceste cercetari sa participe prof. Gabriel Ciobanu si Dr. D.Rusu. Estimam ca anul universitar 2007-2008 va fi un an in care limbajul Haskell va fi intens folosit in universitati ca limbaj pentru aplicarea cercetarilor din domenii superioare ale algebrei si teoriei categoriilor precum si ca limbaj de constructie a limbajelor si de programare functionala. Lista domeniilor de aplicare ramane deschisa.


. Utilizarea ca instrument de realizare a interpretoarelor

  • Datorita modului atat de simplu in care se pot defini in Haskell elementele unui translator limbajul Haskell se recomanda de la sine ca un DSL (domain specific language) pentru realizarea interpretoarelor si compilatoarelor. Astfel, in Haskell se definesc foarte usor:
    • Textul de intrare vazut ca string si simultan ca lista de caractere (in Haskell tipul String avand ambele semnificatii)
    • Atomii lexicali sunt recunoscuti de parsere specializate, deja existente in biblioteci cum sunt ParseLib si Parsec (sau altele ...)
    • Gramaticile, inclusiv cele ambigue sunt imediat transcrise (in asa-zisa do-notatie) sub forma unor secvente de parsere corespunzatori neterminalelor gramaticii. Alternativa "|" beneficiaza de un operator special (+++ in ParseLib) Suportul teoretic, structura algebrica ce permite combinarea efectelor parserelor este Monada Parserelor.
    • Arborii sintactici, inclusiv cei polimorfici, se transcriu imediat in Haskell folosind declaratia "data" (destinata tipurilor utilizator). Descrierea structurilor de date pentru reprezentarea arborilor sintactici se poate face pe unul - doua -trei randuri. Deoarece in Haskell la o declaratie "data" se poate adauga "deriving Show", noul tip de date va fi implicit inzestrat cu functie de afisare, pe care programatorul nu mai este obligat s-o scrie el. Simpla modificare a declaratiei "data" a arborilor modifica automat (transparent) functia de afisare. Ideal pentru realizarea prototipurilor.
    • Semantica se poate transcrie in do-notatie, dar folosind de obicei o alta monada decat monada parserelor. Nu sunt necesari operatori specializati pentru lifting-ul functiilor uzuale in universul monadei, asa cum se proceda pe vremea cand Espinosa scria la teza sa de doctorat, celebra teza despre "Semantic Lego". Descarcati de aici Transcrierea_semanticii_in_do_notatie.pdf un capitol dintr-o carte de Dan Popa, destinat a introduce cititorul in tehnicile de exprimare a semanticilor in do-notatie(163KB, MIME type: application/pdf). Dovedeste totodata superioritatea Haskell-ului asupra altor limbaje functionale mai vechi (LISP,SCHEME), in priviinta posibilitatilor de a transcrie semantici in el si explica necesitatea indeplinirii Legilor Monadei.
    • Prelucrarile recursive de arbori atat de necesare la parcurgerea arborilor, la listarea unui arbore sintactic (pretty printing) se scriu imediat deoarece Haskell permite definirea de functii recursive, ca succesiuni de ecuatii.
  • La urma dar nu in cele din urma: Compilatorul de Haskell GHC este el insusi scris in Haskell. Ceea ce spune tot ce este de spus despre Haskell ca limbaj (DSL) de scriere a compilatoarelor.
  • Cum sa scrii un mic limbaj, aici era o implementare de Scheme. A aparut si sub forma de wikibook. Vedeti si pagina de proiecte.

. Laboratorul de Constructie a Limbajelor

Accesati laboratorul de constructie al limbajelor, locul de unde veti putea descarca limbaje de programare produse de persoane din grupul Ro/Haskell si de comunitatea Haskell in general. Laboratorul de Limbaje .Pagina in pregatire.

. Interpretoare si compilatoare disponibile - pagini in engleza

Exista 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 Dar din pacate se pare ca functioneaza doar cu editiile comerciale ale Visual Studio. Testele facute cu Visual Studio din kitul gratuit, distribuibil (A.R.Kit) n-au dus la nici un succes. Motivul tehnic este probabil lipsa suportului pentru plugin-uri din editia limitata a A.R.Kit. Iar Visual Haskell este vazut ca un plug-in Visual Studio. Concluzia: Cautati Eclipse a carei versiune (3.0 ?) avea un plugin pentru GHC. Sau folositi XEmacs ?

. Download Haskell software, gratis (Compiler & Interpreter For Free)

  • Hugs <- Download Hugs (2006 apoi urmatoarele ...)
  • GHC <- Download GHC (licenta BSD)
  • Yhc
  • Helium <- Mai vedem daca-l recomandam...

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.

  • Kdevelop de sub Linux poate functiona de asemenea impreuna cu cu GHC.

Iar daca va intereseaza sa descarcati software HDBC-ODBC pentru Windows incercati aceasta pagina cu instructiuni (in engleza).


. Lucrari in limba romana, cronologic

2005

  • 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).- o poza si date despre organizatori se afla aici
  • Cum puteti scrie un mic asamblor adaptabil in Haskell 98:Popa, Dan; An assembler in a nutshell - Proceedings of the 30th annual Congress of The American-Romanian
    Academy of Art and Sciences (ARA), Academia de Studii Economice din Moldova,
    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
    folosite sunt notiuni fundamentale de teoria categoriilor care pot fi gasite
    in orice carte de Teoria Categoriilor.

2006

2007,2008

  • Lista ramane deschisa ... si deocamdata neactualizata. Oricum exista si mai multe lucrari despre Haskell ca in anul precedent. Le puteti gasi folosind un motor de cautare.
  • O prezentare pdf numita "Evaloare Modulara si Interpretoare folosind Monade si Clase de Tipuri" a fost acceptata pentru sectiunea Functional Grit de la Anglo Haskell 2008. Titlul tradus: Modular Evaluation and Interpreters Using Monads and Type Classes by Dan Popa.


. Carti publicate in limba romana

Cautati carti despre Haskell in limba romana ? Sau doriti sa consultati biblioteca on-line a autorilor din grupul Ro/Haskell ? Dati un click pe: Carti publicate in limba romana sau pe Capitole de manual

. Carti in pregatire in limba romana

  • "Translatoare scrise in Haskell 98 pentru securizarea sistemelor on-line"

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

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.

  • Practica interpretarii monadice - Cuprinde lucrari de laborator aferente cursului de Limbaje Formale si Automate de la Universitatea Bacau, extrase din laboratoarele anului curent (si in viitor, ale altor ani). Volumul isi propune sa prezinte practic scrierea unui interpretor pentru un mic while-language in Haskell. Tehnicile prezentate sunt utile de asemenea la citirea / achizitionarea de date cu structuri si substructuri. De adaugat: O mica istorie a prelucrarii datelor.
  • .... Titlu rezervat. O carte despre producerea interpretoarelor si/sau compilatoarelor de limbaje imperative folosind monade si functii pentru combinarea efectelor acestora. Am vrut s-o numesc "Transformers - The Royal Way of Imperative Language Construction" dar nu gasesc un echivalent in limba romana. Va detalia dezvoltarea proiectului Rodin, la care am lucrat in saptamanile precedente (prima jumatate a lui iulie 2008). Date exacte pe pagina proiectului Rodin.

. dRaftul personal

dRaftul personal va fi o colectie de carti libere, electronice, pe care sper s-o construim impreuna, din variantele (eventual pre-release) ale cartilor din domeniul stiintelor informatice. Greselile de tipar sunt oferite gratuit. :)

. Traduceri si ... Voluntariat ;)

Grupul Ro/Haskell va ofera sansa sa va afirmati ca traducator, ceea ce, (daca sunteti filolog) se considera activitate profesionala. Vedeti Proiecte de traduceri. Contactati-l pe Dan la adresa de e-mail cunoscuta (e pe site intr-o prezentare .pdf) sau la telefonul cunoscut la Universitate si stabilim detaliile si ... rasplata.

. Distributii Linux de Download apreciate

Lista urmatoare nu este nici pe departe completa. Distributii Linux de Download apreciate de utilizatorii de Haskell. De ce ? Doar insusi Linux-ul este un enorm mediu de programare!

. 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

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

. Mesaje

Multumesc tuturor celor care mi-au trimis felicitari si e-mail-uri cu ocazia trecerii in noul an 2008.

Dan Popa, initiatorul comunitatii Haskell-Ro, doreste tuturor, atat cadrelor didactice care predau sau vor preda limbaje formale, limbaje functionale sau compilatoare folosind Haskell 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" publicat la EduSoft.

Drept carte complementara puteti citi cartea domnului M.Gontineac. Contine printre altele o traducere a listei functiilor din Standard Prelude si o serie de exemple de programare imperativa cu operatii de I/O.

. Stiri 2007 - inclusiv imprumuturi de carte

8 iunie 2007 S-a primit de la domnul conf M. Gontineac stirea despre continuarea unor cercetari de algebra superioara cu aplicatii in Haskell. Vom reveni, probabil, cu detalii.

Pe 18.02.2007 s-a sustinut la Universitatea Bacau examenul la disciplina Limbaje Formale si Automate. Doua din cele 4 subiecte de pe fiecare bilet s-au referit la Haskell. Toti studentii care s-au prezentat la examen au trecut cu succes examenul.

Bacau: Martie 2007: S-au propus primele teme de licenta (de la Bacau) avand ca limbaj de lucru limbajul Haskell.

Mai 2007: Edusoft a epuizat primul tiraj din "Introducere in Haskell 98 prin exemple" si a anuntat (afirma cititorii) un nou tiraj. Pretul a scazut. Profitati de oferta.

Mai 2007: Luna de intensa activitate in domeniile programarii functionale si limbajului Haskell la Iasi. Studentii de la Univ Iasi, facultatile de matematica si informatica, indrumati de prof. Grigoras resp conf. Gontineac se pregatesc de examene, lucreaza la proiecte, studiaza, intreaba, scriu e-mail-uri. O atmosfera plina de dinamism.

Prof Grigoras Gheorghe a postat in cursul acestui semestru (sem.al II-lea din 2007) pe site-ul cursului domniei sale slide-uri de curs de Programare Functionala in care se foloseste Haskell. Ar trebui sa fie disponibile aici. Link extern! Format PDF. Numarul lor este in crestere, primele zece,unsprezece ... sunt deja disponibile (din 14 planificate).
Un palindrom record, pentru cei ce testeaza codul din cursul 10 este: "Draga Lelica va leaga Ela vacile la gard!" Multumiri lui Ioanid Rosu pentru acest exemplu de palindrom.

Interesanta si utila pentru incepatori este si prezentarea facuta de Marian Radu, pentru uzul studentilor. Ar trebui sa fie aici. Link extern! Cam vagi informatiile despre monade.


Puteti gasi in curand "Introducere in Haskell 98 prin exemple" si la Biblioteca Facultatii de Informatica / Matematica din Iasi. Intrarea cartii in catalogul online al Bibliotecii este planificata in jurul datei de 2-3 iunie 2007. Donatia de facto s-a facut pe 26 mai 2007.

Puteti gasi "Introducere in Haskell 98 prin exemple" si la Biblioteca Seminarului Matematic Al. Myller din Iasi.

Puteti gasi "Introducere in Haskell 98 prin exemple" si la Bacau la Biblioteca Judeteana Bacau din parcul Cancicov. (in locul fostului stadion din parc).

CEFP 2007: Cluj-Napoca/Romania; intre 23-30 iunie 2007. CEFP 2007 Homepage aici.

. De-ale studentilor si Intrebarile incepatorului

Incercam sa reflectam aici probleme cu care se confrunta studentii nostri. Sa publicam un sfat, un exemplu sau orice altceva ce i-ar putea ajuta. Cititi si: Intrebarile incepatorului
Daca ati ales cursul optional numit Programare functionala incepeti studiul de aici.

. Ce n-am publicat aici...inca

La o revizuire a site-ului din vara lui 2007 am gasit ca Ro/Haskell ar putea fi inca imbunatatit. O sumedenie de lucruri ar putea fi adaugate, de la simple explicatii pentru incepatori la colectii de link-uri catre articole si carti celebre pentru avansati. In cazul in care cautati pe Ro/Haskell versiuni romanesti ale unor anumite lucrari sau anumite subiecte uitati-va si pe aceasta pagina, macar sa stiti sa ... nu mai cautati.Ce n-am publicat aici...inca

. Biblioteci unde am trimis (si gasiti) carti despre Haskell

Deoarece cartile de Haskell s-au publicat in editii mai mici decat cele de C sau C++ va indicam bibliotecile unde le puteti gasi:

Iasi: BCU, Biblioteca Seminarului Matematic Al.Myller , Biblioteca Facultatii de Matematica / Informatica , cota III 7602 , catalog electronic.

Bacau: Biblioteca Judeteana, Sediul Central din Parcul Cancicov, exemplarul nr. 627194 cota 681.3 / P 79

Bucuresti: Ar trebui sa fie disponibila la Bib. Nationala deoarece editorul a trimis exemplarele pentru depozitul legal.

Bacau: La Biblioteca din Corpul C al Univ. Bacau, de pe Spiru Haret Nr.8 gasiti "Introducere în Haskell 98 prin exemple". Autor: Popa Dan V.; Cota: III/13683 Date publicare (cf. catalogului bibliotecii): Bacău: Editura EduSoft, 2007; Include: figuri; ISBN: 973-8934-48-6;978-973-8934-48-1; Format: 230 p.; 24 cm; Subiect: Programare; Clasificare: 004,43 Haskell; Exemplare: 1 Depozitul: Biblioteca Corp C - Stiinte

. Firme care folosesc Haskell si doresc sa-si prezinte activitatea

Dorim sa asiguram prin viitoarea pagina Firme o legatura intre cei ce folosesc Haskell si cei care invata Haskell. O cautare pe Internet m-a convins ca cererea de programatori de Haskell pentru piata externa este in crestere. Firme mari cum ar fi Ericson angajeaza specialisti in programarea functionala. Iar Nokia a deschide o capacitate de productie la Cluj. ;) Nu stim insa daca va angaja specialisti in Haskell ;)

. Proiecte

Proiecte la care participa membri ai comunitatii Ro/Haskell. Pagina in dezvoltare. Deocamdata neactualizata desi proiecte exista. Incepand cu cele ale studentilor ...

. Avertismente


Atentie: Trimitand articole si date personale pentru publicare pe acest site al comunitatii Haskell/Ro acceptati stocarea datelor dvs. pe servere care nu sunt in Uniunea Europeana si nici macar in Eurasia! Accesul la copiile acestui site oferite de alte servicii proxy (diferite de site-ul original www.haskell.org) nu va garanteaza nici acuratetea continutului nici calitatea de 'virus-free' a materialelor.

Verificati intotdeauna fisierele descarcate: PDF - urile pot contine uneori cod arbitrar iar doc-urile macrovirusi. Luati-va toate masurile de precautie posibile. Detectarea faptului ca un program este virus este o problema algoritmic nedecidabila, deci nu se stie niciodata. Numai plain-text-ul nu contine virusi.



. Bazarul cu link-uri

O colectie de link-uri variate, utila intr-o lume in care pina si Google este manipulat prin schimbarea ordinii aparitiei raspunsurilor.


. Targul "Link-uri de vara 2008"

O colectie de link-uri variate - 2008 - am extras pentru dumneavoastra. Alegerea link-urilor importante (dupa parerea noastra) n-o poate face Google ci o minte umana care stie ce sa va propuna.


. Anticariat

Anticariat Ro/Haskell Incercam sa oferim celor interesati cartile pe care le-am citit deja. Daca aveti carti de Haskell disponibile nu ezitati sa le anuntati aici. Se pot trimite prin posta ca "imprimate", in plic avand coltul taiat, eventual cu ramburs.


. Hardware

Interesul de a rula Haskell pe diferite feluri de Hardware, a atins cote inalte. Asa cum am mai spus la cursul de Limbaje Formale sau la cel de Compilatoare, un limbaj cum este Haskell in care (din cauza felului cum este definit lambda calculul) acelasi calcul se poate incepe din mai multe locuri si chiar simultan , in paralel, va fi unul dintre limbajele care se preteaza la rulare pe masini intensiv paralele. Incercam sa infiintam o pagina de Secrete hardware - software pentru utilizatorii de Haskell si cei care vor naviga pe acest site. Stiati de exemplu ca puteti folosi vechi monitoare de maxim 1024 x 768 la rezolutia 1280 x 768 neinclusa in manual, pentru a vedea mai bine programele Haskell cu linii lungi  ?

. Imagini din expozitii

Imagini care vor constitui o colectie. In dezvoltare ...


. Topul lucrarilor practice

Primul Top al lucrarilor ce merita citite de practicieni. In dezvoltare ...


. Universitati din Ro unde se preda Haskell

Universitati la care puteti urma cursuri de Haskell si programare functionala. Dragi colegi care predati Haskell, nu ezitati sa va prezentati activitatea !


. C++ versus Haskell

Intrebari despre asemanari, deosebiri si comparatii intre limbajele Eventual... Alte intrebari puse des.


. Haskell, Muzica si Baletul

De catva timp, numele Haskell il gasesc asociat cu informatii despre arta, mai ales despre balet. Va urma o pagina despre Haskell si arte sau, de ce nu, despre prelucrarea informatiei artistice. Deja cu programe Haskell s-a prelucrat muzica. Pe cand si la noi alte proiecte ? Reveniti cand vom completa Haskell, Muzica si Baletul iar acest link va fi albastru. Sau parcurgeti O colectie de link-uri variate - 2008 de la Targul "Link-uri de vara 2008"


. Navigator

Navigatorule, poti da click cu succes pe link-urile albastre ! Cele rosii sunt doar paginii din viitor, inca neconstruite. :)

 Intrebarile incepatorului, Capitole de manual,Practica   interpretarii monadice,
 Stiri Ro/Haskell,Tipuri polimorfice, Clase de tipuri, Quicksort, 
 Anecdote si afirmatii hazlii,savuros dialog, Programati si zambiti !, 
 Opinia editorului revistei MyLinux, Laboratorul de Limbaje (<-Pagina in pregatire.), 
 Hugs  <- Downloadul interpretorului Hugs , GHC    <- Downloadul compilatorului GHC,
 "Cum sa construiesti un interpretor adaptabil intr-o singura  zi!" de Dan Popa, 
 Carti publicate in limba romana, dRaftul personal, Proiecte de traduceri, 
 Distributii Linux de Download apreciate, de utilizatorii de Haskell.
 Ce merita sa cititi, "Introducere in Haskell 98 prin exemple" publicat la EduSoft.,
 Mini bibliografie despre Programare functionala, Ce n-am publicat aici...inca, 
 Proiecte, O colectie de link-uri, Inca O colectie de link-uri variate - 2008, 
 Anticariat Ro/Haskell, Viitoarea colectie de Imagini, Primul Top, al lucrarilor. 
 Universitati la care puteti urma cursuri de Haskell si programare functionala.,
 Intrebari despre asemanari, deosebiri si comparatii intre limbajele, Eventual...
 Alte intrebari puse des., Haskell, Muzica si Baletul, Rodin,, Categories:Ro.

Pagina indexata la indexul Categories:Ro


<= Inapoi la inceputul paginii principale Ro/Haskell.

<- Inapoi la Intrebarile incepatorului Ro/Haskell.