Difference between revisions of "Separabilitate"
(No difference)
|
Revision as of 16:13, 4 June 2010
separabilitate a semanticii monadice se numeste proprietatea functiei semantice monadice - : Exp -> M a de a putea fi reinterpretata schimband monadele una cu alta (ceea ce a ilustrat si P.Wadler in clasica sa lucrare [Wad - 92b ] ).
Prin folosirea semanticilor monadice se poate separa descrierea unui limbaj de denota]ia sa, ceea ce ii mareste adaptabilitatea, programatorul putatnd interveni pentru a extinde sintaxa si/sau semantica fara ca aceste extinderi sa produca necesitatea de a rescriue tot restul proiectului. (Problema a semanticilor denotationale.)
Profesorul P.Wadler a aratat practic in [Wad-92b] ca masina virtuala poate fi inlocuita cu un alt model de calcul, o structura algebrica numita monada (dintr-o serie de monade posibile).
Bibliografie (incompleta)
[Wad-92b] Wadler, Philip; The essence of functional programming, The 19'th Symposium on Principles of Programming Languages, (Albuquerque), New Mexico; ACM, 1992