Monada parserelor

From HaskellWiki
Revision as of 10:51, 15 January 2007 by Ha$kell (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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.