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:
- 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
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:
- Constructia unui nou tip diferit de interpretor modular monadic adaptabil
- O rezolvare a problemei numite The Expression Problem
- Arborii modulari
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.