Intrebari despre combinatorii de parsere

From HaskellWiki
Jump to navigation Jump to search

Introducere

Haskell este un limbaj din ultimul deceniu iar Parserele modulare si Combinatorii de parsere (studiati de Graham Hutton, Erik Meyer ... si multi altii) au adaugat o noua fateta moderna domeniilor:

  • constructia limbajelor,
    • constructia interpretoarelor
    • constructia compilatoarelor
  • implementarea parserelor extensibile si adaptabile
  • implementarea verificatoarelor de date cu structuri si substructuri

(al treilea nivel de structurare a datelor, probabil unele dintre datele cele mai complicate structural)

  • analiza sintactica a binarelor
  • verificarea structurala a datelor
  • verificarea datelor, in general

Limitele acestor instrumente Parserele modulare si Combinatorii de parsere (desi la data cand scriu aceste randuri sunt instrumente consacrate) sunt inca subiecte de discutie din partea comunitatii academice din Romania, chiar si dupa aparitia unei carti dedicate lor in edituri acreditatat CNCSIS (Edusoft, Matrixrom).

Iata cateva intrebari pe care le-am primit pe 24 oct. 2009, referitoare la acest subiect:

Intrebari

S-au facut comparatii intre implementarea din lucrare si obtinerea partii de front-end folosind unelte precum YACC?

Care este justificarea teoretica pentru faptul ca programarea functionala monadica asigura modularitatea?

Cum demonstrati corectitudinea parserului, in sensul ca limbajul dumneavoastra vine cu o semantica? - intrebare neinspirat formulata deoarece parserele sunt instrumente de analiza sintactica, nu semantica.

Unde este adaptabilitatea in acest caz ? -- nn. al folosirii parserelor modulare monadice si al combinatorilor de parsere.

Unde gasim o prezentare in stil PowerPoint a acestor tehnici ?


Alte intrebari

Care sunt cele mai importante trei contributii personale? - nn. ale dvs, domnule Dan Popa
R:

Putem adauga si ADFA-urile, - automatele adaptive.

Va "multumesc" ca ati sters paginile de mai sus, asa incat sa nu le mai pot edita. Contributiile exista, dar constat ca nu le mai pot promova pe acest wiki.