Personal tools

Beta reducere

From HaskellWiki

Revision as of 10:42, 29 January 2010 by Ha$kell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


Beta reducere

In esenta nu este decat transcrierea unei operatii invatate in clasele anterioare: Inlocuirea intr-o functie a valorii (sau expresiei) parametrului pentru a obtine valoarea (sau expresia) rezultatului.

Ex: (\ x-> x+1) 7

= > x+1 | x=7

= > 7+1

= > 8


Ex: ( \x -> x+2)(y+2)

= > (y+2)+2

= > y+4


Totul insa intr-un riguros cadru matematic care tine cont si de eventualele confuzii de nume care pot apare intre variabilele din expresia functiei si cele din expresia de inlocuit. Asa ca cititi si despre variabile libere in cursul prof. M.Gordon .