Intrebari despre combinatorii de parsere
Introducere
Haskell este un limbaj din ultimul deceniu iar Combinatorii de parsere (studiati de Graham Hutton, Erik Meyer ... si multi altii) au adaugat o noua fateta moderna domeniilor:
- constrctiei limbajelor,
- constructiei interpretoarelor
- constructiei compilatoarelor
- implementarii parserelor modulare extensibile si adaptabile
- implementarii verificatoarelor de date cu structuri si substructuri
(al treilea nivel de structurare a datelor, probabil unele dintre datele cele mai complicate structural)
- parsarii binarelor
- verificarii structurale a datelor
- verificarii 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:
Intrebari
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: