Personal tools

Ce este lambda calculul ?

From HaskellWiki

(Difference between revisions)
Jump to: navigation, 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.
   
[http://www.haskell.org/haskellwiki/Ro/Haskell <= Inapoi la pagina principala Ro/Haskell ]
+
----
  +
Pagina indexata la indexul [[Category:Ro]] [http://www.haskell.org/haskellwiki/Category:Ro Categories:Ro]
  +
----
  +
[http://www.haskell.org/haskellwiki/Ro/Haskell <= Inapoi la pagina principala Ro/Haskell. ]

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


<= Inapoi la pagina principala Ro/Haskell.