Intrebari despre combinatorii de parsere

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:

• constrctiea 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 foormulata 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:

• Constructia unui nou tip diferit de interpretor modular monadic adaptabil
• O rezolvare a problemei numite The Expression Problem
• Arborii modulari