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