Ro/Boosting your Math. Faculty with Haskell

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",productie de limbaje (DSL-uri), proiectare automata de scheme electronice, analize statistice si financiare (bancare)...
V-am starnit curiozitatea ? Cititi: Intrebarile incepatorului. Am adaugat raspunsuri noi (16 dec. 2007- 10 feb. 2008).

---

Stirile lunii:Stiri Ro/Haskell

Cuprinsul paginii :

. Prezentarea proiectului Exista deja un veritabil interes pentru Haskell in randul matematicienilor. De altfel daca intrebati pe un forum de discutii care ar fi cel mai bun limbaj pentru matematicieni - uni au intrebat - vi se va raspunde: Haskell. Legaturile dintre Haskell si Matematica pot fi exploatate pentru a obtine specialisti in matematica aplicata, capabili sa realizeze produse informatice bazate pe matematica. Programul "Ro/Boosting your Math. Faculty with Haskell" isi propune sa mareasca potentialul unei Facultati de Matemnatica prin introducerea Haskell-ului ca limbaj de laborator si seminar. (da - ati citit bine, limbaj de laborator la matematica). Deja o serie de grupe de matematica - cel putin acolo unde lucreaza subsemnatul - fac ore in laboratoarele de informatica. Cum va afiliati programului ? Nu e nevoie de concurs de proiecte, dosar sau altceva asemanator. Tot ce aveti de facut este sa folositi Haskell-ul (Fie interpretorul Hugs sau WinHugs fie compilatorul GHC si versiunea sa interactiva GHCi.) Popularizati apoi rezultatele pe web. Le vom centraliza aici acordand stelute * pentru fiecare din urmatoarele activitati: Haskell folosit la Algebra, teoria relatiiilor si la structuri algebrice. Un mic exemplu Haskell si Algebra. Haskell folosit in alte domenii care au la baza teorii algebrice. Vedeti Haskell si Automate Haskell folosit la 'Statistica ; aplicatii. Haskell si OpenGL folosite la Geometrie analitica si aplicatii de Game design. Exista deja jocuri 3D scrise in Haskell (cautati proiectul Frag pe www.haskell.org cu motorul de cautare din stanga sus). Haskell folosit la calcul simbolic, Integrare si derivare simbolica si altele din Analiza matematica - (cere si notiuni de sisteme de rescriere, solicitati ajutorul cuiva de la informatica). Vedeti ceva despre reprezentarea functiilor impreuna cu domenii, in Haskell. (Desi pare incomplet, Haskell are tot ce-i trebuie pentru manipularea domeniilor functiilor impreuna cu functiile. Vedei si pagina Sunt tipurile din Haskell totuna cu domeniile functiilor din matematica ? Haskell folosit la procesarea semnalelor audio / video conform cursurilor de specialitate derivate din Analiza matematica (teoria semnalelor). Haskell folosit la Teoria Categoriilor cu aplicatii in Interpretoare si compilatoare. Vedeti limbajul pseudocod Rodin. Haskell folosit la Inteligenta Artificiala, fiind superior Lisp-ului. Astept exemple de la Expertii in Lisp si Inteligenta Artificiala. Sau macar probleme, care de altfel se rezolva in Haskell cel putin la fel de elegant ca in Lisp. (este domeniu de informatica, stiu, dar are multe legaturi cu matematica.) Haskell folosit la Logica si / sau Programare logica , fie doar ca limbaj de implementare, fie pentru reprezentari de termi cu data fie chiar pentru a arata cum functioneaza Prolog. Haskell si Lambda calcul. Structuri algebrice de functii reprezentate in lambda calcul izomorfe cu tipuri de date din limbaje de programare - Algebra, izomorfisme etc. Haskell si Teoria structurilor abstracte de date. Haskell in Criptografie. Alte domenii care folosesc Haskell: Calcul in aritmetica lunga, Capitolul de Teorie a Numerelor Prime Combinatorica. Divizibilitate si aplicatii. Haskell ca instrument pentru "Pedagogia informaticii" sau "Metodica moderna a predarii matematicii" si Sisteme de invatare asistata de calculator. DPPD se va putea implica aici. Haskell in Analiza numerica. (prezenta combinatorului Y si a functiilor de nivel superior permite implementari mai usoare de algoritmi.) Altele: Haskell prezent la Biblioteca facultatii, prin carti ale autorilor straini. Haskell prezent la Biblioteca facultatii prin carti ale autorilor romani. Haskell - online - folosind si citand http://www.haskell.org. Haskell - online - folosind si citand pagina http://www.haskell.org/haskellwiki/Ro/Haskell Haskell folosit si Facultatea prezentata in HCAR. Utilizarea unor produse bazate pe Haskell in Facultatea dumneavoastra. (Vedeti Rodin) Pentru fiecare din aceste activitati puse in practica, prezentate pe web (si/sau documentate altfel) de a caror existenta nu avem indoieli vom atribui o steluta Facultatii de Matematica/Informatica respective si vom face ulterior un top. Nu este nevoie sa va inscrieti in program, este suficient sa folosit Haskell pentru a face din matematicienii pe care ii pregatiti si producatori de produse matematice bazate pe Haskell. Dar este nevoie sa va puneti pe web rezultate si materiale, ca sa stim si noi cam ce ati realizat. Topul - in pregatire Deocamdata acordam stelute. Lista e in crestere. Stelute acordate deja. O steluta merge la echipa de la Facultatea de Informatica a Univ. Al.I.Cuza pentru tema data studentilor: Realizarea automatului minimal in Haskell, in fond o problema de implementare a unei demonstratii/teorii algebrice. (desi domniile lor sunt de la Facultatea de Informatica - iar aceasta este separata de cea de Matematica.) O steluta merge la Facultatea de Matematica a Univ. Al.I. Cuza Iasi pentru E-book-ul liber oferit de Dl. Conferentiar Mihai Gontineac: Programare Functionala. Vedeti la Stiri si la Programare functionala. O steluta va merge la Bucuresti dar trebuie sa mai aflu detalii... Lista nu e gata. Incepeti lucrul. Sau continuati-l. Mult succes si nu uitati: Proiecte practice inseamna bani de la beneficiari. Proiecte de viitor, sau in curs de realizare O steluta va merge probabil la Iasi la Facultatea de Matematica unde se pare ca au intentia de a face geometrie cu aplicatii in stilul dintr-un cunoscut volum de Haskell. (Dar hai sa nu discutam intentii.) Pagina indexata la indexul Categories:Ro <= Inapoi la inceputul paginii principale Ro/Haskell. <- Inapoi la Intrebarile incepatorului Ro/Haskell.