Difference between revisions of "Separabilitate"
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
| + | [[Category:Ro]] |
||
'''separabilitate''' a semanticii monadice se numeste proprietatea functiei |
'''separabilitate''' a semanticii monadice se numeste proprietatea functiei |
||
| − | semantice monadice ''[[-]] : Exp -> M a ''de a putea fi reinterpretata schimband |
+ | 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 ] ). |
monadele una cu alta (ceea ce a ilustrat si P.Wadler in clasica sa lucrare [Wad - 92b ] ). |
||
Latest revision as of 16:14, 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