Monada parserelor
Jump to navigation
Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
Realizarea unui parser modular din parsere mai mici, fie ca ele sunt din biblioteca ParseLib sau din biblioteca Parsec nu se poate face daca nu exista o structura algebrica a combinarii lor. E la fel ca la operatiile cu numere. Acolo calculele cu numere n-ar decurge asa cum stim daca n-ar exista proprietatile algebrice ale structurilor formate de numere (grup, corp, inel formate cu numerele Reale, de exemplu).
Pentru a descrie monada parsererlor trebuie definiti cei doi operatori:
>>==
return
Monada este folosita la realizarea front-end-urilor de interpretoare.
Aici mai sunt multe de adaugat. Pagina mai trebuie dezvoltata.