Ce este lambda calculul ?

Pe scurt:

1) lambda calculul este un model de calcul pe care se bazeaza tot domeniul Programare functionala. (Ma prefac sa ignor faptul ca teoria combinatorilor - care se poate specifica atat inclusa dar cat si separata de lambda calcul - este baza implementarii limbajelor functionale compilate.) Cititi aici despre Programare functionala.

2) lambda calculul este o teorie matematica a felului
- cum se folosesc lambada expresiile ,
- a felului cum se reduc la forma normala (daca au)
- a felului cum modeleaza ele diveresle multimi de valori care ne intereseaza

Ar mai fi multe de spus.

---

Pagina indexata la indexul Categories:Ro

---

<= Inapoi la pagina principala Ro/Haskell.