Difference between revisions of "Ro/Haskell"
m |
m |
||
Line 10: | Line 10: | ||
'''Stirile momentului:''' |
'''Stirile momentului:''' |
||
<BR> |
<BR> |
||
+ | '''14-iul 2008''' Limbajul Haskell a aparut mentionat in '''[[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 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. |
'''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 toata lumea prezenta a trecut examenul. S-au acordat note de 5 si 7. Domnule A.B., unde sunteti ? |
+ | '''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 ca nu v-ati pregatit, am venit duminica pentru dumneavoastra si nu v-ati prezentat !?! |
<br> '''5 iul 2008''' Pe 6 iulie la orele 16, in mod exceptional, studentii care |
<br> '''5 iul 2008''' Pe 6 iulie la orele 16, in mod exceptional, studentii care |
||
Line 246: | Line 250: | ||
[[O colectie de link-uri]] variate, utila intr-o lume in care pina si Google este manipulat prin schimbarea ordinii aparitiei raspunsurilor. |
[[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. |
||
---- |
---- |
||
==. Haskell, Muzica si Baletul == |
==. Haskell, Muzica si Baletul == |
Revision as of 00:05, 15 July 2008
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 ...
V-am starnit curiozitatea ? Cititi: Intrebarile incepatorului. Am adaugat raspunsuri noi (16 dec. 2007- 10 feb. 2008).
Stirile momentului:
14-iul 2008 Limbajul Haskell a aparut mentionat in 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 "Introducere in Haskell 98 prin exemple" au fost trimise (si cred ca deja au ajuns) la Universitatea 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 ca nu v-ati pregatit, am venit duminica pentru dumneavoastra si nu v-ati prezentat !?!
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).
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.
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.
Cuprinsul paginii Ro/Haskell:
. Stiri Ro/HaskellPagina 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.)
. 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. 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)
. Umor glume si anecdote despre Haskell
. Aventura lansarii comunitatii Ro-Haskell
. 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 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. . Download Haskell software, gratis (Compiler & Interpreter For Free)
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
2007,2008
. Carti publicate in limba romanaCautati 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
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.
. 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 apreciateLista urmatoare nu este nici pe departe completa.
Cititi si intrebarile despre biblioteci de la pagina Intrebarile incepatorului. O alta varianta ar fi sa folosit unele rpm-uri GHC, cum este ghc-6.7.2.x86.rpm de la Open Suse Linux. Functioneaza bine GHCI, deci puteti face lectii interactive de Haskell cu ea. (totusi nu o recomandam prea calduros).
Exista si alte distributii Linux care includ Hugs sau mai puternicul GHC. De asemenea exista portari profesionale pe Solaris.
Lista ramane deschisa. . 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.
. Merita sa cititiSe 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. . MesajeMultumesc 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 carte8 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). 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 "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 incepatoruluiIncercam 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 . Ce n-am publicat aici...incaLa 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 HaskellDeoarece 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 activitateaDorim 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 ;) . ProiecteProiecte la care participa membri ai comunitatii Ro/Haskell. Pagina in dezvoltare. Deocamdata neactualizata desi proiecte exista. Incepand cu cele ale studentilor ... . AvertismenteAtentie: 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-uriO 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. . Haskell, Muzica si BaletulDe 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. Pagina indexata la indexul Categories:Ro <= Inapoi la inceputul paginii principale Ro/Haskell. |