Difference between revisions of "Ce este lambda calculul ?"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
+ | [[Category:Ro]] |
||
+ | |||
Pe scurt: |
Pe scurt: |
||
Line 11: | Line 13: | ||
Ar mai fi multe de spus. |
Ar mai fi multe de spus. |
||
+ | ---- |
||
⚫ | |||
+ | Pagina indexata la indexul [[Category:Ro]] [http://www.haskell.org/haskellwiki/Category:Ro Categories:Ro] |
||
+ | ---- |
||
⚫ |
Revision as of 09:29, 21 January 2008
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