Separabilitate

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