Difference between revisions of "Stiri Ro/Haskell-2011"
(news: Gentle is translated in Ro.) |
m (Replacing www.haskell.org with wiki.haskell.org after the movement of the site) |
||
(29 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
[[Category:Ro]] |
[[Category:Ro]] |
||
+ | ---- |
||
+ | <center> http://wiki.haskell.org/wikiupload/8/84/Lambda-myth.jpg </center> |
||
+ | |||
+ | An image illustrating the power of lambda. Accidentally produced for us by Discovery Chanel. :) |
||
+ | ---- |
||
+ | ''15 nov 2011'' |
||
+ | In volumul |
||
+ | CERINȚE ESENȚIALE ALE EDUCAȚIEI ÎN ÎNVĂȚĂMÂNTUL PREUNIVERSITAR sub egida cunoscutului Colegiu Militar Liceal „Ştefan cel Mare” Câmpulung Moldovenesc |
||
+ | la pg 170 este enumerat si stilul de programare numit |
||
+ | PROGRAMARE FUNCȚIONALĂ. Articolul se numeste PROGRAMARE FUNCȚIONALĂ. LIMBAJUL HASKELL si este semnat de Prof. Florin MARIUC de la Colegiul Militar Liceal “Ştefan cel Mare” Câmpulung Moldovenesc |
||
+ | |||
+ | http://www.colmil_sm.forter.ro/publicatii/cerinte.pdf#page=170 |
||
+ | http://www.colmil_sm.forter.ro/publicatii/cerinte.pdf |
||
+ | |||
+ | Comunitatea este copios citata in finalula articolului dar, interesant, Universitatea "Vasile Alecsandri" [[http://stiinte.ub.ro]] care a fost si este promotoarea limbajului Haskell in Romania nu este partener la proiect nici n-are participanti la simpozionul respectiv. |
||
+ | |||
+ | Volumul aparut are descrierea CIP a Bibliotecii Naţionale a României: |
||
+ | CERINŢE ESENŢIALE ALE EDUCAŢIEI ÎN |
||
+ | ÎNVĂŢĂMÂNTUL PREUNIVERSITAR. Simpozion |
||
+ | (2011 ; Câmpulung Moldovenesc) |
||
+ | Cerinţe esenţiale ale educaţiei în învăţământul |
||
+ | preuniversitar : simpozion : Câmpulung Moldovenesc, |
||
+ | 2011 / coord.: Radu Ciumaşu, Mădălina Duminică. - |
||
+ | Suceava : Editura George Tofan, 2011 |
||
+ | ISBN 978-606-625-027-6 |
||
+ | I. Ciumaşu, Radu (coord.) |
||
+ | II. Duminică, Mădălina (coord.) |
||
+ | 37(063) |
||
+ | |||
+ | ---- |
||
+ | ''30 oct 2011'' Lucrarea "Adaptable Software: How to build a modular monadic extensible compiler using The State Monad and pseudoconstructors over monadic values, de Dan Popa, Univ. “Vasile Alecsandri” Bacău va apare in urmatorul volum al Sud. si Cerc. St Ser. Mat. editat la UVA Bacau. |
||
+ | Gasiti un draft pe nou infiintata pagina despre [[arbori]] sau la pagina despre Compilatoarele Monadice Modulare: |
||
+ | http://wiki.haskell.org/haskellwiki/Modular_Monadic_Compilers_for_Programming_Languages |
||
+ | |||
+ | Stiti cum arata cel mai scurt compilator din lume ? Cititi la pagina 4 din lucrarea de mai sus: |
||
+ | |||
+ | compile :: (Show t, Show t1) => SM (t, [Instr t1]) -> IO () |
||
+ | |||
+ | compile arb = putStr . prettyprint $ runSM 0000 arb |
||
+ | |||
+ | Unde arborele este un [[arbore modular]] format din [[pseudoconstructori]] (en:[[pseudoconstructors]]) care este ''simultan'' si [[structura sintactica abstracta]] si descrierte de ''[[semantica]]''. Se regaseste aici aceasta idee anuntata de altfel si de Prof. Solomon Marcus intr-o cuvantare tinuta la UVA Bacau. |
||
+ | |||
+ | Nota ulterioara:Lucrarea a fost Publicata in 2011. |
||
+ | Adaptable Software: How to build a modular monadic extensible compiler |
||
+ | using The State Monad and pseudoconstructors over monadic values, Scientific |
||
+ | Studies and Research. Series Mathematics and Informatics, vol. 21, no.2, 2011, |
||
+ | pag. 97-116 |
||
+ | -- |
||
+ | |||
+ | ---- |
||
+ | http://upload.wikimedia.org/wikipedia/commons/thumb/4/49/John_McCarthy_Stanford.jpg/200px-John_McCarthy_Stanford.jpg |
||
+ | '''23 oct 2011''' Anuntam cu regret trecerea in nefiinta a prof. John |
||
+ | McCarthy, (1927 - 2011), parintele conceptului de [[IA]]. Dintre contributiile sale merita mentionate macar cele mai cunoscute: a fost creatorul |
||
+ | limbajului [[LISP]] - o prima implementare interpretatata a [[lambda calculului]] netipizat, a notiunii de "[[garbage collector]]", a lansat conceptul de [[time-sharing]] ca baza a industriei IT, a realizat algoritmi de IA si a studiat fundamentele rationametelor si masinile virtuale destinate rularii lambda-calculelor. |
||
+ | Prin activitatea sa a deschis era limbajelor functionale, care continua astazi cu noile limbaje functionale tipizate si compilate, cum este Haskell-ul. |
||
+ | |||
+ | O biografie a prof. John McCarthy si informatii despre activitatea se pot gasi in Wikipedia: |
||
+ | http://en.wikipedia.org/wiki/John_McCarthy_%28computer_scientist%29 |
||
+ | |||
+ | (anunt redactat initial de un student voluntar, Universitatea Bacau) |
||
+ | ---- |
||
+ | '''17 oct 2011''' O lucrare care se ocupa de aplicatiile monadelor la securitatea sistemelor si contine si un comentariu interesant despre starea domeniului informatica era la adresa: http://cerc.wvu.edu/download/WORLDCOMP%2711/2011%20CD%20papers/ERS6033.pdf |
||
+ | ---- |
||
+ | '''17 sept 2011''' Am adaugat pe lista cu intrebarile incepatorului o serie de intrebari despre utilizarea mediului de programare (IDE-ului) Leksah. |
||
+ | In acest an universitar va sprijinim la realizarea de lectii in Haskell folosind mediul Leksah ! (http://leksah.org). de altfel am reusit si sa-l (re)impachetam in format .deb pentru a fi folosit pe sistemele Ubuntu. |
||
+ | ---- |
||
+ | [[Image:Tn.jpg| |Coperta traducerii in limba romana, oferita prin Ed.MatrixRom.]] |
||
+ | '''7 sept 2011''' A aparut cartea profesorului Paul Hudak de la Yale Univ. "[[O mica introducere in Haskell 98]]" la [http://www.matrixrom.ro Editura.MATRIXROM] Descarcati de pe pagina [[Gentle]] un draft al primului capitol realizat de voluntarii nostri, studenti la informatica. Volumul poate fi folosit la cursurile de nivel Master sau la cele din anul terminal. Va dorim succes in noul an universitar ! |
||
+ | ---- |
||
+ | [[Image:Tn.jpg]] |
||
+ | ''' 27 iulie 2011 ''' O versiune considerata finala a volumului "[[O mica introducere in Haskell 98]]" a fost astazi trimisa editorului nostru MatrixRom. |
||
+ | Intrarea cartii in tipografie este acum prinsa in planul editorului: peste circa 10 zile sau maxim doua saptamani. |
||
+ | Profesorii din din Iasi, Bacau, Brasov, Sibiu, Bucuresti, Cluj-Napoca, Baia-Mare, Timisoara si din alte centre universitare care folosesc manuale de Haskell, inclusiv la masterate, pot sa faca de pe acum comenzi la editor. Cartea este un volum aparut initial sub egida ACM. Vedeti pagina [[Gentle]]. Editia in limba Romana este oferita de Grupul [[Ro/Haskell]]. |
||
+ | ---- |
||
+ | '''17 iulie 2011 ''' Am adaugat (pentru ca, nu-i asa: Popa merge si face slujba si duminica) cateva intrebari - cu raspunsuri cu tot - despre felul cum trateaza Haskell-ul notiunea veche de atribuire. Pagini dedicate masteranzilor de la Univ. Transilvaia de la Brasov. Haskell este deosebit si aici; vedeti la pagina cu [[Intrebarile incepatorului]]. |
||
+ | |||
+ | ---- |
||
+ | '''14 iulie 2011''' O cautare pe internet ne informeaza ca suntem, cu o mare probabilitate, cititi in Spania, de catre prof Manuel Cárdenas (Universidad de Sevilla Dept. Geometría y Topologíala) probabil ca parte a documentarii despre noile aparitii de materiale in domeniile programarii functionale, categoriilor si Haskell-ului. |
||
+ | |||
+ | [[http://webcache.googleusercontent.com/search?q=cache:QGd5CD78ZwcJ:personal.us.es/mcard/index.php/templates/jplhtml/jp3r/usindex_archivos/usindex_archivos/jplhtml/templates/mio/index.php%3Fview%3Dnewsfeed%26catid%3D40%253Amath-feeds%26id%3D10-categorytheoryfunctionalprogramming%26option%3Dcom_newsfeeds%26Itemid%3D49+Dan+Popa+Univ+Vasile+Alecsandri+Monad&cd=6&hl=en&ct=clnk&client=ubuntu&source=www.google.com Click aici!]] |
||
+ | ---- |
||
+ | |||
+ | '''13 iulie 2011''' La Congresul ARA de la Timisoara (http://ara.mec.upt.ro/abslist.html) am reusit sa programam sustinerea unei lucrari despre limbaje modularizate orizontal, in care si typecheckerul si evaluatorul (care poate fi foarte bine si un interpretor si un compilator) sunt taiate "pe orizontala" in instructiuni separate care pot fi adaugate modular. Lucrarea, cu titlul "Adaptable Software – Modular extensible monadic evaluator and typechecker based on pseudoconstructors" are codul ARA35-119. Un draft al lucrarii, scris pe 16 mai 2011 va punem la dispozitie si prin site-ul Ro/Haskell. [[http://wiki.haskell.org/wikiupload/7/78/Popa_Dan_fullpaper_template.pdf.zip Download a draft from http://wiki.haskell.org/wikiupload/7/78/Popa_Dan_fullpaper_template.pdf.zip]] |
||
+ | |||
+ | ---- |
||
+ | [[Image:Tn.jpg]] |
||
+ | ''' 12 iulie 2011 ''' O versiune prefinala a volumului "[[O mica introducere in Haskell 98]]" a fost astazi trimisa editorului nostru MatrixRom. |
||
+ | Facultatile si sectiile de informatica din Iasi, Bacau, Brasov, Sibiu, Bucuresti, Cluj-Napoca, Baia-Mare si din alte centre universitare care folosesc manuale de Haskell, inclusiv la masterate, pot sa faca de pe acum precomenzi la editor. Se va sti cat de mare sa fie editia. Cartea este un volum aparut initial sub egida ACM. Vedeti pagina [[Gentle]]. Editia in limba Romana este oferita de Grupul [[Ro/Haskell]]. |
||
+ | ---- |
||
+ | ''' 11 iulie 2011 ''' In ultima luna ne-am ocupat de finalizarea unei cercetari privind "[[Modular Monadic Compilers for Programming Languages]]" iar ieri am inceput redactarea unei lucrari care prezinta rezultate obtinute. O scurta corespondenta cu prof.Graham Hutton a confirmat ca tema este de actualitate, inclusiv la Notthingham existand un doctorand care lucreaza in domeniu (http://www.cs.nott.ac.uk/~gmh/bib.html#mod-comp). Promitem sa revenim adaugand materiale noi, romanesti, pe o pagina noua dedicata acestei teme sau pe pagina existenta [[Constructia Compilatoarelor Folosind Flex si Bison]] deearece o masina virtuala pentru care am generat cod este inspirata de cea din cartea amintita. |
||
+ | |||
+ | Compilatoarele la care lucram la Univ. "V.Alecsandri" din Bacau, se bazeaza insa si pe acei [[Pseudoconstructors over monadic values]] pe care i-am descoperit noi, deci consideram ca vor fi deosebite de cele britanice. |
||
+ | |||
+ | O privire asupra unui program dat compilatorului: |
||
+ | |||
+ | <haskell> |
||
+ | |||
+ | -- Programul din cartea Compiler Construction using Flex and Bison, fig 7.1 |
||
+ | -- pp,la editia 2006 Edusoft |
||
+ | |||
+ | main4 = putStr . prettyprint $ run 0 |
||
+ | (program (datas 2) |
||
+ | (sequ (readv 'n') |
||
+ | (sequ (iif (lt (variable 'n') (constant 10) ) |
||
+ | (attr 'x' (constant 1)) |
||
+ | (skip) |
||
+ | ) |
||
+ | (while (lt (variable 'n') (constant 10)) |
||
+ | (sequ (attr 'x' (mult (constant 5)(variable 'x')) |
||
+ | ) |
||
+ | (attr 'n' (plus (variable 'n') (constant 1)) |
||
+ | ) |
||
+ | ) |
||
+ | ) |
||
+ | ) |
||
+ | ) |
||
+ | |||
+ | |||
+ | ) |
||
+ | </haskell> |
||
+ | |||
+ | Si aici este codul produs in urma compilarii: |
||
+ | |||
+ | <haskell> |
||
+ | |||
+ | *MCOMP> main4 |
||
+ | |||
+ | Length of the code:22 |
||
+ | 0 DATA 1 |
||
+ | 1 IN_INT 110 |
||
+ | 2 LD_VAR 110 |
||
+ | 3 LD_INT 10 |
||
+ | 4 LT 0 |
||
+ | 5 JZ 9 |
||
+ | 6 LD_INT 1 |
||
+ | 7 STORE 120 |
||
+ | 8 JP 9 |
||
+ | 9 LD_VAR 110 |
||
+ | 10 LD_INT 10 |
||
+ | 11 LT 0 |
||
+ | 12 JZ 22 |
||
+ | 13 LD_INT 5 |
||
+ | 14 LD_VAR 120 |
||
+ | 15 MULT 0 |
||
+ | 16 STORE 120 |
||
+ | 17 LD_VAR 110 |
||
+ | 18 LD_INT 1 |
||
+ | 19 ADD 0 |
||
+ | 20 STORE 110 |
||
+ | 21 JP 9 |
||
+ | 22*MCOMP> |
||
+ | |||
+ | </haskell> |
||
+ | Vom transfera acest exemplu impreuna cu altele pe o pagina separata, deci reveniti. |
||
---- |
---- |
||
− | ''' 8 iulie 2011''' Am primit confirmarea ca Masterul de Tehnologii Informatice la Universitatea Transilvania va utiliza printre altele materiale din"[[Introducere in Haskell 98 prin exemple]]" impreuna cu o serie de alte exemple care ar fi (deja?) alese din lucrarile unor universitari, dintre care Graham Hutton pare a fi favorit. Doua exemplare din "Practica Interpretarii Monadice" au fost oferite din partea comunitatii, domnului prof. Deaconu si |
+ | ''' 8 iulie 2011''' Am primit confirmarea ca Masterul de Tehnologii Informatice la Universitatea Transilvania va utiliza printre altele materiale din"[[Introducere in Haskell 98 prin exemple]]" impreuna cu o serie de alte exemple care ar fi (deja?) alese din lucrarile unor universitari, dintre care Graham Hutton pare a fi favorit. Doua exemplare din "Practica Interpretarii Monadice" au fost oferite din partea comunitatii, domnului prof. Deaconu si doamnei prof. A.S., impreuna cu urarile noastre de succes ! |
Le dorim sa aiba un master intru totul functional !! |
Le dorim sa aiba un master intru totul functional !! |
||
− | Programa |
+ | Programa de master la care face referinta stirea a fost / era disponibila aici: |
http://www.unitbv.ro/LinkClick.aspx?fileticket=OhluLN-o3hg%3d&tabid=163 |
http://www.unitbv.ro/LinkClick.aspx?fileticket=OhluLN-o3hg%3d&tabid=163 |
||
---- |
---- |
||
Line 11: | Line 165: | ||
''' 1 iulie 2011''' Am trimis la editorul grupului Ro/Haskell, Editura MatrixRom |
''' 1 iulie 2011''' Am trimis la editorul grupului Ro/Haskell, Editura MatrixRom |
||
o prima versiune completa a traducerii celebrei "[[Gentle]] Introduction to Haskell 98" . Daca nu mai gasim greseli de tipar, in jurul datei de 15 i se va da BT-ul. |
o prima versiune completa a traducerii celebrei "[[Gentle]] Introduction to Haskell 98" . Daca nu mai gasim greseli de tipar, in jurul datei de 15 i se va da BT-ul. |
||
− | + | Aruncati o privire la un extras din drafturile primului capitol, asa cum le-au realizat studentii voluntari. corectura atunci fiind in faza incipienta. |
|
− | http:// |
+ | http://wiki.haskell.org/wikiupload/3/38/Gentle_1-19-v06-3Aprilie.pdf.zip |
---- |
---- |
||
''' 13 iunie 2011''' In ultimele doua luni numarul de accese la paginile Ro/Haskell a scazut la jumatate. Fenomenul este asociat cu o crestere, cel putin o dublare, a numarului restantierilor la examene. De asemenea, in sala de examen am vazut pe masa exact o carte verde la o grupa de studenti. Cum pot unii sa se prezinte la examene fara sa invete nici din carti SI nici de pe site ? |
''' 13 iunie 2011''' In ultimele doua luni numarul de accese la paginile Ro/Haskell a scazut la jumatate. Fenomenul este asociat cu o crestere, cel putin o dublare, a numarului restantierilor la examene. De asemenea, in sala de examen am vazut pe masa exact o carte verde la o grupa de studenti. Cum pot unii sa se prezinte la examene fara sa invete nici din carti SI nici de pe site ? |
||
Line 48: | Line 202: | ||
http://tinyurl.com/hcar |
http://tinyurl.com/hcar |
||
Iar ultimul numaril gasiti aici: |
Iar ultimul numaril gasiti aici: |
||
− | [http:// |
+ | [http://wiki.haskell.org/communities/05-2011/report.pdf PDF] and [http://wiki.haskell.org/communities/05-2011/html/report.html HTML]. |
---- |
---- |
||
'''5-6 mai 2011''' Am avut ocazia sa pledam pentru folosirea Haskell-ului (si) in Romania ca limbaj pentru calcule economice, profitand de o amabila invitatie a Prof. I.Ivan de la ASE Bucuresti. Aici s-a organizat editia 2011 a conferintei... |
'''5-6 mai 2011''' Am avut ocazia sa pledam pentru folosirea Haskell-ului (si) in Romania ca limbaj pentru calcule economice, profitand de o amabila invitatie a Prof. I.Ivan de la ASE Bucuresti. Aici s-a organizat editia 2011 a conferintei... |
||
Line 95: | Line 249: | ||
---- |
---- |
||
− | <center> http:// |
+ | <center> http://wiki.haskell.org/wikiupload/f/f8/Edu.gif </center> |
<br> |
<br> |
||
---- |
---- |
||
''' 1 Aprilie 2011 ''': Se intampla si lucruri bune in Romania. Va oferim gratuit volumul "[[Gentle]] introduction in Haskell" tradus in limba romana, descarcabil din josul paginii [[Gentle]]. Vizitati pagina in mod repetat deoarece vom mai adauga pagini (re)facute sau corectate. |
''' 1 Aprilie 2011 ''': Se intampla si lucruri bune in Romania. Va oferim gratuit volumul "[[Gentle]] introduction in Haskell" tradus in limba romana, descarcabil din josul paginii [[Gentle]]. Vizitati pagina in mod repetat deoarece vom mai adauga pagini (re)facute sau corectate. |
||
+ | |||
+ | Cel putin am incercat impreuna cu studentii voluntari sa facem o traducere a acestui volum. |
||
---- |
---- |
||
Martie 2011: Un anunt despre formatele de documente. Au aparut unele restrictii in priviinta formatelor de documente cu care lucram; astfel: |
Martie 2011: Un anunt despre formatele de documente. Au aparut unele restrictii in priviinta formatelor de documente cu care lucram; astfel: |
||
− | 1. Site-ul |
+ | 1. Site-ul wiki.haskell.org pare sa nu mai primeasca la upload fisiere .pdf. |
In aceste conditii vom incarca lucrari si alte documente in format Post Script .ps in loc de .pdf. Deci tineti un GhostScript + Ghostview la indemana sau alt Reader de .ps -uri. Puteti folosi Linux sau un driver de imprimanta virtuala pe Windows care scrie in format .pdf pentru a converti fisierele. |
In aceste conditii vom incarca lucrari si alte documente in format Post Script .ps in loc de .pdf. Deci tineti un GhostScript + Ghostview la indemana sau alt Reader de .ps -uri. Puteti folosi Linux sau un driver de imprimanta virtuala pe Windows care scrie in format .pdf pentru a converti fisierele. |
||
Puteti folosi Linux (ex. Ubuntu 10.x) pentru a converti din .ps in .pdf fara probleme. Eu unul dau un print din Document Viewer-ul de Linux in format .pdf. si e gata .pdf-ul din .ps. Curios, .pdf.zip -urile sunt acceptate. |
Puteti folosi Linux (ex. Ubuntu 10.x) pentru a converti din .ps in .pdf fara probleme. Eu unul dau un print din Document Viewer-ul de Linux in format .pdf. si e gata .pdf-ul din .ps. Curios, .pdf.zip -urile sunt acceptate. |
||
Line 141: | Line 297: | ||
Rezultatele unor cercetari de construire a Typechecker-elor Modulare Monadice sunt puse acum in forma de lucrare: |
Rezultatele unor cercetari de construire a Typechecker-elor Modulare Monadice sunt puse acum in forma de lucrare: |
||
− | Dan Popa ; ''Adaptable Software - Modular Extensible Monadic Entry-pointless Type Checker in Haskell'' , Ro/Haskell Group, Univ. “V.Alecsandri”, Bacau [http:// |
+ | Dan Popa ; ''Adaptable Software - Modular Extensible Monadic Entry-pointless Type Checker in Haskell'' , Ro/Haskell Group, Univ. “V.Alecsandri”, Bacau [http://wiki.haskell.org/wikiupload/5/57/Types2.ps <DOWNLOAD> in .ps format] |
− | [http:// |
+ | [http://wiki.haskell.org/wikiupload/f/f5/Types2.pdf.zip <DOWNLOAD> in .pdf.zip format] |
---- |
---- |
||
Line 163: | Line 319: | ||
Actualizam pagina despre Stiri - Congrese. o gasiti cautand "Congrese" cu motorul de cautare din dreapta sus, sau la: |
Actualizam pagina despre Stiri - Congrese. o gasiti cautand "Congrese" cu motorul de cautare din dreapta sus, sau la: |
||
− | http:// |
+ | http://wiki.haskell.org/haskellwiki/Stiri_Ro/Congrese |
ori la indexul site-ului, in pagina a doua,la litera 's'. |
ori la indexul site-ului, in pagina a doua,la litera 's'. |
||
Line 173: | Line 329: | ||
Lucrarea |
Lucrarea |
||
Dan Popa, ''Combinatorii de analizoare sintactice – instrumentele lingviştilor pentru învăţarea asistată de calculator a limbilor străine'' |
Dan Popa, ''Combinatorii de analizoare sintactice – instrumentele lingviştilor pentru învăţarea asistată de calculator a limbilor străine'' |
||
− | se poate descarca de la: http:// |
+ | se poate descarca de la: http://wiki.haskell.org/wikiupload/9/96/Combinators.ps |
Lucrarea a fost prezentata la : |
Lucrarea a fost prezentata la : |
||
Line 188: | Line 344: | ||
Martie 2011. Datorita faptului ca revista MyLinux nu mai exista si drepturile de autor ale articolului s-au reintors la autor, am decis sa publicam acest prim articol despre HAskell, rezultat al discutiilor purtate cu editorul intre august si dec 2005. Articolul a aparut in numarul din ianuarie 2006. |
Martie 2011. Datorita faptului ca revista MyLinux nu mai exista si drepturile de autor ale articolului s-au reintors la autor, am decis sa publicam acest prim articol despre HAskell, rezultat al discutiilor purtate cu editorul intre august si dec 2005. Articolul a aparut in numarul din ianuarie 2006. |
||
− | [http:// |
+ | [http://wiki.haskell.org/wikiupload/0/0b/IntroHaskell98.ps Download] |
---- |
---- |
||
Line 195: | Line 351: | ||
Deoarece in perioada oct-2010 - ian 2011 am incercat impreuna cu voluntari de la Univ. Vasile Alecsandri din Bacau sa facem o traducere a cartii Gentle, fara sa incarcam prea mult pe niciunul dintre acestia. Rezultatele: partiale. Avem totusi aproape 50 de pagini care asteapta sa intre la corectura, Dat ffind ca la Iasi a inceput un nou semestru de studiu a limbajului Haskell va oferim un draft din primele 10 pagini, asa cum este el accum pe masa de lucru , partial corectat, dar fara diacritice. |
Deoarece in perioada oct-2010 - ian 2011 am incercat impreuna cu voluntari de la Univ. Vasile Alecsandri din Bacau sa facem o traducere a cartii Gentle, fara sa incarcam prea mult pe niciunul dintre acestia. Rezultatele: partiale. Avem totusi aproape 50 de pagini care asteapta sa intre la corectura, Dat ffind ca la Iasi a inceput un nou semestru de studiu a limbajului Haskell va oferim un draft din primele 10 pagini, asa cum este el accum pe masa de lucru , partial corectat, dar fara diacritice. |
||
− | [http:// |
+ | [http://wiki.haskell.org/wikiupload/7/7c/Gentle-1-12-v04.doc Gentle, draft, pg 1-12] |
Vor urma si altele. |
Vor urma si altele. |
||
Line 218: | Line 374: | ||
Ianuarie 2011 : |
Ianuarie 2011 : |
||
− | In Debianul pe care s-a mutat serverul |
+ | In Debianul pe care s-a mutat serverul wiki.haskell.org un "priceput" a mutat tot directorul '''/sitewiki/images/* ''' in directorul '''/wikiupload''' astfel invalidand toate caile care contin acest dintai substring. :( '''/sitewiki/images/* ''' |
<br> |
<br> |
||
Am scris la o persoana responsabila iar pina cand se lamuresc "priceputii" ca am dreptate, ca experiment, am refacut paginile: |
Am scris la o persoana responsabila iar pina cand se lamuresc "priceputii" ca am dreptate, ca experiment, am refacut paginile: |
||
<br> |
<br> |
||
− | http:// |
+ | http://wiki.haskell.org/haskellwiki/Gentle <br> |
− | http:// |
+ | http://wiki.haskell.org/haskellwiki/Capitole_de_manual |
<br> |
<br> |
||
Schimband prin editare caile respective. Dar mai sunt 190 de pagini web de revizuit. |
Schimband prin editare caile respective. Dar mai sunt 190 de pagini web de revizuit. |
Latest revision as of 15:10, 18 February 2015
![Lambda-myth.jpg](http://wiki.haskell.org/wikiupload/8/84/Lambda-myth.jpg)
An image illustrating the power of lambda. Accidentally produced for us by Discovery Chanel. :)
15 nov 2011 In volumul CERINȚE ESENȚIALE ALE EDUCAȚIEI ÎN ÎNVĂȚĂMÂNTUL PREUNIVERSITAR sub egida cunoscutului Colegiu Militar Liceal „Ştefan cel Mare” Câmpulung Moldovenesc la pg 170 este enumerat si stilul de programare numit PROGRAMARE FUNCȚIONALĂ. Articolul se numeste PROGRAMARE FUNCȚIONALĂ. LIMBAJUL HASKELL si este semnat de Prof. Florin MARIUC de la Colegiul Militar Liceal “Ştefan cel Mare” Câmpulung Moldovenesc
http://www.colmil_sm.forter.ro/publicatii/cerinte.pdf#page=170 http://www.colmil_sm.forter.ro/publicatii/cerinte.pdf
Comunitatea este copios citata in finalula articolului dar, interesant, Universitatea "Vasile Alecsandri" [[1]] care a fost si este promotoarea limbajului Haskell in Romania nu este partener la proiect nici n-are participanti la simpozionul respectiv.
Volumul aparut are descrierea CIP a Bibliotecii Naţionale a României: CERINŢE ESENŢIALE ALE EDUCAŢIEI ÎN ÎNVĂŢĂMÂNTUL PREUNIVERSITAR. Simpozion (2011 ; Câmpulung Moldovenesc) Cerinţe esenţiale ale educaţiei în învăţământul preuniversitar : simpozion : Câmpulung Moldovenesc, 2011 / coord.: Radu Ciumaşu, Mădălina Duminică. - Suceava : Editura George Tofan, 2011 ISBN 978-606-625-027-6 I. Ciumaşu, Radu (coord.) II. Duminică, Mădălina (coord.) 37(063)
30 oct 2011 Lucrarea "Adaptable Software: How to build a modular monadic extensible compiler using The State Monad and pseudoconstructors over monadic values, de Dan Popa, Univ. “Vasile Alecsandri” Bacău va apare in urmatorul volum al Sud. si Cerc. St Ser. Mat. editat la UVA Bacau. Gasiti un draft pe nou infiintata pagina despre arbori sau la pagina despre Compilatoarele Monadice Modulare: http://wiki.haskell.org/haskellwiki/Modular_Monadic_Compilers_for_Programming_Languages
Stiti cum arata cel mai scurt compilator din lume ? Cititi la pagina 4 din lucrarea de mai sus:
compile :: (Show t, Show t1) => SM (t, [Instr t1]) -> IO ()
compile arb = putStr . prettyprint $ runSM 0000 arb
Unde arborele este un arbore modular format din pseudoconstructori (en:pseudoconstructors) care este simultan si structura sintactica abstracta si descrierte de semantica. Se regaseste aici aceasta idee anuntata de altfel si de Prof. Solomon Marcus intr-o cuvantare tinuta la UVA Bacau.
Nota ulterioara:Lucrarea a fost Publicata in 2011. Adaptable Software: How to build a modular monadic extensible compiler using The State Monad and pseudoconstructors over monadic values, Scientific Studies and Research. Series Mathematics and Informatics, vol. 21, no.2, 2011, pag. 97-116 --
23 oct 2011 Anuntam cu regret trecerea in nefiinta a prof. John
McCarthy, (1927 - 2011), parintele conceptului de IA. Dintre contributiile sale merita mentionate macar cele mai cunoscute: a fost creatorul
limbajului LISP - o prima implementare interpretatata a lambda calculului netipizat, a notiunii de "garbage collector", a lansat conceptul de time-sharing ca baza a industriei IT, a realizat algoritmi de IA si a studiat fundamentele rationametelor si masinile virtuale destinate rularii lambda-calculelor.
Prin activitatea sa a deschis era limbajelor functionale, care continua astazi cu noile limbaje functionale tipizate si compilate, cum este Haskell-ul.
O biografie a prof. John McCarthy si informatii despre activitatea se pot gasi in Wikipedia: http://en.wikipedia.org/wiki/John_McCarthy_%28computer_scientist%29
(anunt redactat initial de un student voluntar, Universitatea Bacau)
17 oct 2011 O lucrare care se ocupa de aplicatiile monadelor la securitatea sistemelor si contine si un comentariu interesant despre starea domeniului informatica era la adresa: http://cerc.wvu.edu/download/WORLDCOMP%2711/2011%20CD%20papers/ERS6033.pdf
17 sept 2011 Am adaugat pe lista cu intrebarile incepatorului o serie de intrebari despre utilizarea mediului de programare (IDE-ului) Leksah. In acest an universitar va sprijinim la realizarea de lectii in Haskell folosind mediul Leksah ! (http://leksah.org). de altfel am reusit si sa-l (re)impachetam in format .deb pentru a fi folosit pe sistemele Ubuntu.
7 sept 2011 A aparut cartea profesorului Paul Hudak de la Yale Univ. "O mica introducere in Haskell 98" la Editura.MATRIXROM Descarcati de pe pagina Gentle un draft al primului capitol realizat de voluntarii nostri, studenti la informatica. Volumul poate fi folosit la cursurile de nivel Master sau la cele din anul terminal. Va dorim succes in noul an universitar !
27 iulie 2011 O versiune considerata finala a volumului "O mica introducere in Haskell 98" a fost astazi trimisa editorului nostru MatrixRom.
Intrarea cartii in tipografie este acum prinsa in planul editorului: peste circa 10 zile sau maxim doua saptamani.
Profesorii din din Iasi, Bacau, Brasov, Sibiu, Bucuresti, Cluj-Napoca, Baia-Mare, Timisoara si din alte centre universitare care folosesc manuale de Haskell, inclusiv la masterate, pot sa faca de pe acum comenzi la editor. Cartea este un volum aparut initial sub egida ACM. Vedeti pagina Gentle. Editia in limba Romana este oferita de Grupul Ro/Haskell.
17 iulie 2011 Am adaugat (pentru ca, nu-i asa: Popa merge si face slujba si duminica) cateva intrebari - cu raspunsuri cu tot - despre felul cum trateaza Haskell-ul notiunea veche de atribuire. Pagini dedicate masteranzilor de la Univ. Transilvaia de la Brasov. Haskell este deosebit si aici; vedeti la pagina cu Intrebarile incepatorului.
14 iulie 2011 O cautare pe internet ne informeaza ca suntem, cu o mare probabilitate, cititi in Spania, de catre prof Manuel Cárdenas (Universidad de Sevilla Dept. Geometría y Topologíala) probabil ca parte a documentarii despre noile aparitii de materiale in domeniile programarii functionale, categoriilor si Haskell-ului.
13 iulie 2011 La Congresul ARA de la Timisoara (http://ara.mec.upt.ro/abslist.html) am reusit sa programam sustinerea unei lucrari despre limbaje modularizate orizontal, in care si typecheckerul si evaluatorul (care poate fi foarte bine si un interpretor si un compilator) sunt taiate "pe orizontala" in instructiuni separate care pot fi adaugate modular. Lucrarea, cu titlul "Adaptable Software – Modular extensible monadic evaluator and typechecker based on pseudoconstructors" are codul ARA35-119. Un draft al lucrarii, scris pe 16 mai 2011 va punem la dispozitie si prin site-ul Ro/Haskell. [Download a draft from http://wiki.haskell.org/wikiupload/7/78/Popa_Dan_fullpaper_template.pdf.zip]
12 iulie 2011 O versiune prefinala a volumului "O mica introducere in Haskell 98" a fost astazi trimisa editorului nostru MatrixRom.
Facultatile si sectiile de informatica din Iasi, Bacau, Brasov, Sibiu, Bucuresti, Cluj-Napoca, Baia-Mare si din alte centre universitare care folosesc manuale de Haskell, inclusiv la masterate, pot sa faca de pe acum precomenzi la editor. Se va sti cat de mare sa fie editia. Cartea este un volum aparut initial sub egida ACM. Vedeti pagina Gentle. Editia in limba Romana este oferita de Grupul Ro/Haskell.
11 iulie 2011 In ultima luna ne-am ocupat de finalizarea unei cercetari privind "Modular Monadic Compilers for Programming Languages" iar ieri am inceput redactarea unei lucrari care prezinta rezultate obtinute. O scurta corespondenta cu prof.Graham Hutton a confirmat ca tema este de actualitate, inclusiv la Notthingham existand un doctorand care lucreaza in domeniu (http://www.cs.nott.ac.uk/~gmh/bib.html#mod-comp). Promitem sa revenim adaugand materiale noi, romanesti, pe o pagina noua dedicata acestei teme sau pe pagina existenta Constructia Compilatoarelor Folosind Flex si Bison deearece o masina virtuala pentru care am generat cod este inspirata de cea din cartea amintita.
Compilatoarele la care lucram la Univ. "V.Alecsandri" din Bacau, se bazeaza insa si pe acei Pseudoconstructors over monadic values pe care i-am descoperit noi, deci consideram ca vor fi deosebite de cele britanice.
O privire asupra unui program dat compilatorului:
-- Programul din cartea Compiler Construction using Flex and Bison, fig 7.1
-- pp,la editia 2006 Edusoft
main4 = putStr . prettyprint $ run 0
(program (datas 2)
(sequ (readv 'n')
(sequ (iif (lt (variable 'n') (constant 10) )
(attr 'x' (constant 1))
(skip)
)
(while (lt (variable 'n') (constant 10))
(sequ (attr 'x' (mult (constant 5)(variable 'x'))
)
(attr 'n' (plus (variable 'n') (constant 1))
)
)
)
)
)
)
Si aici este codul produs in urma compilarii:
*MCOMP> main4
Length of the code:22
0 DATA 1
1 IN_INT 110
2 LD_VAR 110
3 LD_INT 10
4 LT 0
5 JZ 9
6 LD_INT 1
7 STORE 120
8 JP 9
9 LD_VAR 110
10 LD_INT 10
11 LT 0
12 JZ 22
13 LD_INT 5
14 LD_VAR 120
15 MULT 0
16 STORE 120
17 LD_VAR 110
18 LD_INT 1
19 ADD 0
20 STORE 110
21 JP 9
22*MCOMP>
Vom transfera acest exemplu impreuna cu altele pe o pagina separata, deci reveniti.
8 iulie 2011 Am primit confirmarea ca Masterul de Tehnologii Informatice la Universitatea Transilvania va utiliza printre altele materiale din"Introducere in Haskell 98 prin exemple" impreuna cu o serie de alte exemple care ar fi (deja?) alese din lucrarile unor universitari, dintre care Graham Hutton pare a fi favorit. Doua exemplare din "Practica Interpretarii Monadice" au fost oferite din partea comunitatii, domnului prof. Deaconu si doamnei prof. A.S., impreuna cu urarile noastre de succes ! Le dorim sa aiba un master intru totul functional !!
Programa de master la care face referinta stirea a fost / era disponibila aici: http://www.unitbv.ro/LinkClick.aspx?fileticket=OhluLN-o3hg%3d&tabid=163
1 iulie 2011 Am trimis la editorul grupului Ro/Haskell, Editura MatrixRom
o prima versiune completa a traducerii celebrei "Gentle Introduction to Haskell 98" . Daca nu mai gasim greseli de tipar, in jurul datei de 15 i se va da BT-ul.
Aruncati o privire la un extras din drafturile primului capitol, asa cum le-au realizat studentii voluntari. corectura atunci fiind in faza incipienta.
http://wiki.haskell.org/wikiupload/3/38/Gentle_1-19-v06-3Aprilie.pdf.zip
13 iunie 2011 In ultimele doua luni numarul de accese la paginile Ro/Haskell a scazut la jumatate. Fenomenul este asociat cu o crestere, cel putin o dublare, a numarului restantierilor la examene. De asemenea, in sala de examen am vazut pe masa exact o carte verde la o grupa de studenti. Cum pot unii sa se prezinte la examene fara sa invete nici din carti SI nici de pe site ?
Mentionez ca nu primesc bani din drepturi de autor pentru carti, deci nu sunt interesat financiar, dar se va ajunge ca taxele de rexaminari sa depaseasca costul cartilor, pentru unii studenti.
12 iunie 2011 Traducerea si adaptarea - licenta permite acest lucru - manualului de Haskell supranumit Gentle s-a incheiat, asteptam coperta de la editor si momentul finalizarii corecturii pentru a da cartea la tipar. Intrucat Gentle este un manual serios si pe alocuri dificil de citit in engleza, va recomandam calduros editia in limba romana care va fi publicata de MatrixRom. Studenti care au incercat in 2010-2011 sa contribuie la traducere stiu precis cam cat este de greu de citit in engleza. Intrebati-i.
8 iunie 2011 Branza buna in burduf de Olanda - Un eseu despre cum se publica o lucrare la un mare editor de jurnale acreditat. In urma unei corespondente de doua luni fara o saptamana, am scris acest eseu.
4 iunie 2011 . Notele de la cele 3 examene desfasurate joi, examene la care s-au dat si subiecte despre Haskell (LFA, Fundamentele Programarii, LFA la TI ) vor fi disponibile abia luni. Week-end-ul este dedicat examinarii studentilor de la Informatica , Invatamant cu Frecventa Redusa.
1 iunie 2011 De ziua copiilor, adica si de ziua studentilor care nu s-au maturizat, am completat pagina "Cum se rateaza un examen. "
27 mai 2011 Am planificat un speech de 20 de minute despre evaluatoarele si verificatoarele de tipuri, modulare, fara punct unic de intrare, scrise cu pseudoconstructori peste valori monadice, la NCMI 2011. Conferinta are site-ul aici: http://stiinte.ub.ro/ncmi2011
Planificarea pe ore si minute este aceasta: 18:40 – 18:50 Dan Popa, “Vasile Alecsandri” University of Bacău, Adaptable Software – Modular Extensible Monadic Evaluator and Typechecker Based on Pseudoconstructors
18:50 – 19:00 Dan Popa “Vasile Alecsandri” University of Bacău Adaptable Software - Modular Extensible Monadic Entry-Pointless Type Checker in Haskell
Dar este posibil sa prezentam lucrarile in ordine inversa, cum este mai logic de altfel.
Va asteptam la NCMI 2011. Cred ca iesenii interesati de domeniu ar putea da o fuga.
24 mai 2011 Am adaugat o carte, mai bine zis o lucrare, de semantica, liber disponibila, la paginaCarti publicate in limba romana. Fireste, autorurul roman a scris-o in limba engleza dar incercam sa rezolvam problema traducerii acesteia.
18 mai 2011 A aparut al 20 numar din HCAR. Haskell Communities and Activities Report. Nici in acest an nu am primit suficiente dcetalii despre activitatea din Romania, cu toate ca publicam un rezumat: Haskell in Romania de ani de zile. Si nici nu s-au mai scris alte prezentari pentru HCAR.
HCAR 2011 ... este disponibil aici: http://tinyurl.com/hcar Iar ultimul numaril gasiti aici: PDF and HTML.
5-6 mai 2011 Am avut ocazia sa pledam pentru folosirea Haskell-ului (si) in Romania ca limbaj pentru calcule economice, profitand de o amabila invitatie a Prof. I.Ivan de la ASE Bucuresti. Aici s-a organizat editia 2011 a conferintei...
THE TENTH INTERNATIONAL CONFERENCE ON INFORMATICS IN ECONOMY , BUCHAREST: Education, Research & Business Technology
Am beneficiat de atentia specialistilor prezenti la Sectiunea 3 : Information & Communication Technologies (1) care si-a desfasurat lucrarile la pe 5 mai 2011. Workshop-ul: Economic Information Systems a fost condus de: Andrzej KOBYLIŃSKI, si/sau Mihai-Constantin AVORNICULUI.
Prezentarea a avut titlul: "The Ro/Haskell Community: Introducing a Functional Programming Language by Wiki"; autor, Dan POPA de la Univ. "V.Alecsandri" din Bacau.
Programul conferintei: <Download>
In ziua urmatoare, cu ocazia discutiilor dintre participanti am diseminat informatii despre o alta notiune: ADFA, care insa nu a avut o prezentare oficiala. Ideea ca exista si alte dispozitive adaptive diferite de (sa zicem ca exemplu) retelele neuronale si care mai au si proprietatea ca raspund in timp liniar, O(n), la interogari dupa antrenare, a aparut ca promitatoare.
4 mai 2011 Pagina proiectului Rodin a inregistrat click-ul numarul 10 009. Avem un limbaj didactic care ne permite sa predam ideile de baza ale C-ului chiar celor care nu se descurca cu termenii din limba engleza. Ideal pentru a preda programare structurata.
15-30 aprilie 2011: Ca urmare a e-mail-ului primit de la editorul grupului nostru, MatrixRom putem sa anuntam oficial ca va apare traducerea volumului Gentle Introduction to Haskell sub forma de carte pe care editura MatrixRom (www.matrixrom.ro) v-o poate trimite la domiciliu. Rezervati un volum de pe acum, trimitand din timp o precomanda. Acest lucru va fi de folos in procesul de tiparire pentru ca se va putea dimensiona corect primul lot care ioese din tipografie. Draft-urile si capitolele semnal se gasesc on-line pe pagina Gentle. ISBN-ul cartii este deja stabilit. ISBN-ul este 978-973-755-701-8
10 aprilie 2011: Examenul de LFA si Haskell (re) bate la usa. Am adaugat pentru voi o pagina explicand ce avantaj au declaratiile in loc de atribuiri si lazy evaluation in loc de executia in ordine. Este plasata in rubrica intrebarilor incepatorilor: Ce inseamna lazy evaluation ?
9 Aprilie 2011: Examenul de LFA si Haskell din 2 iunie 2011 va fi mutat de la ora 9:00 cum era planificat initial, la ora 8:00 pentru a nu se suprapune partial cu alt examen. Asigurati-va ca puteti sosi la la timp - daca sunteti studenti din alta localitate.
6 Aprilie 2011: SECURITY: Ubuntu 10.10 i386 (Maverick) instalat de pe CD-ul original Ubuntu are nevoie de reinstalarea clientului dhcp3-client. Cel original trebuie imediat dupa instalare inlocuit cu cel din repository folosind:
sudo apt-get remove dhcp3-client
sudo apt-get install dhcp3-client
Verificarea daca are intr-adevar nevoie o faceti cu chkrootkit, care imediat dupa instalare, inainte de upgrade, trebuie la randul sau instalat:
sudo apt-get install chkrootkit
si pornit cu
sudo chkrootkit
Vedeti daca pe eth0 sau alta interfata se semnaleaza SNIFFER. Caz in care reinstalati fisierul corupt si luati si alte masuri de securitate, functie de ceea ce mai gasiti.
Documentatia indica faptul ca unii clienti dhcp ar putea declansa alarma chkrootkit. Printre ei nu e numit explicit dhcp3-client.
![Edu.gif](http://wiki.haskell.org/wikiupload/f/f8/Edu.gif)
1 Aprilie 2011 : Se intampla si lucruri bune in Romania. Va oferim gratuit volumul "Gentle introduction in Haskell" tradus in limba romana, descarcabil din josul paginii Gentle. Vizitati pagina in mod repetat deoarece vom mai adauga pagini (re)facute sau corectate.
Cel putin am incercat impreuna cu studentii voluntari sa facem o traducere a acestui volum.
Martie 2011: Un anunt despre formatele de documente. Au aparut unele restrictii in priviinta formatelor de documente cu care lucram; astfel:
1. Site-ul wiki.haskell.org pare sa nu mai primeasca la upload fisiere .pdf. In aceste conditii vom incarca lucrari si alte documente in format Post Script .ps in loc de .pdf. Deci tineti un GhostScript + Ghostview la indemana sau alt Reader de .ps -uri. Puteti folosi Linux sau un driver de imprimanta virtuala pe Windows care scrie in format .pdf pentru a converti fisierele. Puteti folosi Linux (ex. Ubuntu 10.x) pentru a converti din .ps in .pdf fara probleme. Eu unul dau un print din Document Viewer-ul de Linux in format .pdf. si e gata .pdf-ul din .ps. Curios, .pdf.zip -urile sunt acceptate.
2. Unele reviste mai vechi si unele conferinte si simpozioane au ramas in anii in care Knuth inventa TEX-ul. In acei ani puteai sta 10 ani sa dezvolti un produs cum au fost TEX si MetaFont. Dar la nivelul anului 2011, in comunitatea Haskell, TEX-ul este depasit, si voi argumenta de ce:
2.1. Haskell este un VHLL de mare productivitate in care poti scrie, de exemplu, un alt limbaj intr-o zi sau doua. In aceste conditii a scrie lucrarea despre softul respectiv in TEX este o pierdere de timp. Ar dura mai mult scrierea lucrarii in TEX ca cercetarea. Sau ministerul ne plateste sa fim dactilografe TEX si nu cercetatori ?
2.2. In comunitatea DSL-istilor si mai recent in volume de conferinte de specialitate, Haskell-ul, limbaj functional, tinde sa inlocuiasca de facto notatia matematica, devenind lingua franca a comunitatii. Luati de exemplu: Walid Mohamed Taha (ed.) - Domain-Specific Languages , IFIP TC2 Working Conference, DSL 2009, Oxford,UK, Jully 2009 - Proceedings, de la Springer Verlag si veti vedea ca Haskell a devenit aproape peste tot limbaj inlocuitoar al matematicii la scrierea lucrarilor din domeniu. Mai sunt si alte limbaje din jargonul informaticienilor implicate. In aceste condiftii a cere Haskell-istilor lucrari in TEX e un fel de bataie de joc la adresa productivitatii limbajului. Bine ca nu li se cer lucrari scrise in binar cu dalta pe placi de piatra. :)
2.3. Haskell-istii considera ca in loc de a invata TEX isi pot folosi timpul la altceva. In cel mai rau caz recomanda un generator ca sa generezi TEX din .doc. O opinie a prof. Mihai Gontineac despre TEX gasiti aici.
2.4. Haskell ofera un format .lhs - literate haskell - care poate fi simultan si lucrare stiintifica si program de calculator comentat. Cercetarile se fac scriind programe Haskell in fisiere .lhs. Dar .lhs nu este .tex.
2.5. Carti de initiere in scrierea matematicii, cum este "How To Write Mathematics" de la AMS chiar recomanda, unde se poate, renuntarea la floricelele formulelor supraetajate in care TEX exceleaza. recomanda doar s ascrii, eficient: exp(x) in locul lui "e la x" pe doua nivele.
2.6. Chiar daca este foarte elegant pentru matematica, algoritmul TEX de plasare a randurilor in pagina dupa densitatea de alb si negru si alte reguli tipografice se bate cap in cap cu regulile de scriere a programelor in Haskell. Haskell are o sintaxa bazata pe Layout si alinieri verticale care nu respecta densitatile de alb negru dorite de TEX ceea ce insemna ca atunci cand faci copy paste la un cod Haskell in TEX sau LYX el va fi formatat incorect, stricandui-se layout-ul si transformandu-l in program eronat, care nu va rula, si va da, probabil, erori de layout. Nu are nici un sens sa producem lucrari stiintifice frumoase dar cu programe inutilizabile. Nu spun ca nu se pot face pagini TEX cu text cu format fixat, cu ceva munca in plus,dar atunci de ce sa mai folosim TEX ? Si ajungem iar la problema productivitatii !
Concluzia: a ni se cere TEX si mai ales TEX cu style propriu e o pierdere de timp pentru cercetarea in Haskell, dupa opinia mea.
Dan P.
P.S. Totusi cum asemenea dispute sunt "religioase" nu doresc sa le lungesc.
Am primit pe 28 martie urmatorul mesaj, ref la trimiterea unei lucrari de semantica si Haskell la KEPT2011. Din mesaj am dedus "Cand exista un articol, in opinia semnatarului.
O fi fost o gluma de 1 Aprilie venita prea devreme ?
Ian, Feb, Martie 2011
Rezultatele unor cercetari de construire a Typechecker-elor Modulare Monadice sunt puse acum in forma de lucrare:
Dan Popa ; Adaptable Software - Modular Extensible Monadic Entry-pointless Type Checker in Haskell , Ro/Haskell Group, Univ. “V.Alecsandri”, Bacau <DOWNLOAD> in .ps format
Martie 2011
La Cluj se desfasoara KEPT2011
Knowledge Engineering: Principles and Techniques Conference (KEPT) 2011 Monday - Wednesday, July 4-6, 2011 Cluj-Napoca, Romania http://www.cs.ubbcluj.ro/kept2011/
Organised by: Computer Science Department, Babes-Bolyai University, Cluj-Napoca, Romania
Martie 2011
Actualizam pagina despre Stiri - Congrese. o gasiti cautand "Congrese" cu motorul de cautare din dreapta sus, sau la: http://wiki.haskell.org/haskellwiki/Stiri_Ro/Congrese ori la indexul site-ului, in pagina a doua,la litera 's'.
Martie 2011.
Haskell poate fi folosit de catre cei care produc materiale de e-learning. In cazul prezentat in lucrarea tinta este producerea de carti electronice pentru invatarea limbilor straine.
Lucrarea Dan Popa, Combinatorii de analizoare sintactice – instrumentele lingviştilor pentru învăţarea asistată de calculator a limbilor străine se poate descarca de la: http://wiki.haskell.org/wikiupload/9/96/Combinators.ps
Lucrarea a fost prezentata la : Colocviul Plurilingvism şi interculturalitate din 26 februarie 2010 organizat de Catedra de limba şi literatura română şi Grupul de cercetare interdisciplinară LOGOS, Facultatea de Litere, Universitatea “Vasile Alecsandri” din Bacău Programul manifestarii: http://www.ub.ro/ubub/servicii/arhiva/109-colocviul-naional-cu-participare-internaional.html sau direct de aici.
Martie 2011. Datorita faptului ca revista MyLinux nu mai exista si drepturile de autor ale articolului s-au reintors la autor, am decis sa publicam acest prim articol despre HAskell, rezultat al discutiilor purtate cu editorul intre august si dec 2005. Articolul a aparut in numarul din ianuarie 2006.
Martie 2011
Deoarece in perioada oct-2010 - ian 2011 am incercat impreuna cu voluntari de la Univ. Vasile Alecsandri din Bacau sa facem o traducere a cartii Gentle, fara sa incarcam prea mult pe niciunul dintre acestia. Rezultatele: partiale. Avem totusi aproape 50 de pagini care asteapta sa intre la corectura, Dat ffind ca la Iasi a inceput un nou semestru de studiu a limbajului Haskell va oferim un draft din primele 10 pagini, asa cum este el accum pe masa de lucru , partial corectat, dar fara diacritice.
Vor urma si altele.
Martie 2011
Continua actiune a de revizuire a paginilor web care au fost deteriorate la mutarea site-ului, prin schimbarea directorului din /sitewiki/images/ in /wikiupload/. Sunt peste 200 de pagini de verificat.
Februarie 2011
Desi s-a lucrat cu Haskell la semantici in perioada 1998-2005 == lucrarile profesorului Eneia Todoran din Cluj nu au fost de gasit pe serverele Univ. de la Cluj. A trebuit sa le descopar pe site-ul celuilalt autor: Prof.N.Papaspyrous. Haskell, semantici, CPS (Continuation passing style) CSC si altele. De asemenea o colectie de cosemnatari mai tineri care speram sa fie deja molipsiti de microbul Haskell. Le uram, cu intarziere, bun venit in comunitate.
Decembrie 2010 -> Ianuarie 2011
S-a lucrat si se lucreaza inca la refacerea link-urilor catre materialele din directorul cu uploaduri, caruia , nu stiu de ce, i s-a schimbat numele din /sitewiki/images in /wikiupload !! Rog studentii sa semnaleze paginile cu link-uri defecte ca sa le putem corecta.
Ianuarie 2011 :
In Debianul pe care s-a mutat serverul wiki.haskell.org un "priceput" a mutat tot directorul /sitewiki/images/* in directorul /wikiupload astfel invalidand toate caile care contin acest dintai substring. :( /sitewiki/images/*
Am scris la o persoana responsabila iar pina cand se lamuresc "priceputii" ca am dreptate, ca experiment, am refacut paginile:
http://wiki.haskell.org/haskellwiki/Gentle
http://wiki.haskell.org/haskellwiki/Capitole_de_manual
Schimband prin editare caile respective. Dar mai sunt 190 de pagini web de revizuit.
Sper ca paginile refacute sa va fie de folos.
Dan