Personal tools

Ce este lambda calculul ?

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
m (typo corrected)
 
(3 intermediate revisions by one user not shown)
Line 1: Line 1:
  +
[[Image:Haskelllogo-small-flag-RO-8.jpg|center|Haskell - Ce este lambda calculul ?]]
  +
 
[[Category:Ro]]
 
[[Category:Ro]]
   
Line 7: Line 9:
   
 
2) lambda calculul este o teorie matematica a felului <br>
 
2) lambda calculul este o teorie matematica a felului <br>
- cum se folosesc lambada expresiile , <br>
+
- cum se folosesc lambda expresiile , <br>
 
- a felului cum se reduc la forma normala (daca au) <br>
 
- a felului cum se reduc la forma normala (daca au) <br>
- a felului cum modeleaza ele diveresle multimi de valori care ne intereseaza
+
- a felului cum modeleaza cu ele diversele multimi de valori care ne intereseaza
  +
impreuna cu operatiile cu aceste date
  +
  +
3) lambda calculul este o teorie algebrica a lambda expresiilor (expresii definite foarte simplu, cu 3 reguli) si a modului cum se lucreaza cu ele, aşa cum logica era o teorie a expresiilor logice şi a modului cum se folosesc ele sau artitmetica o teorie a expresiilor... aritmetice.
   
 
Ar mai fi multe de spus.
 
Ar mai fi multe de spus.
Line 16: Line 18:
 
Pagina indexata la indexul [[Category:Ro]] [http://www.haskell.org/haskellwiki/Category:Ro Categories:Ro]
 
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. ]
+
[http://www.haskell.org/haskellwiki/Ro/Haskell <= Inapoi la pagina principala Ro/Haskell. ]<br> <br>
  +
[http://www.haskell.org/haskellwiki/Intrebarile_incepatorului <'''-''' Inapoi la inceputul paginii 'Intrebarile incepatorului Ro/Haskell'. ]

Latest revision as of 12:32, 22 September 2011

Haskell - 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 lambda expresiile ,
- a felului cum se reduc la forma normala (daca au)
- a felului cum modeleaza cu ele diversele multimi de valori care ne intereseaza impreuna cu operatiile cu aceste date

3) lambda calculul este o teorie algebrica a lambda expresiilor (expresii definite foarte simplu, cu 3 reguli) si a modului cum se lucreaza cu ele, aşa cum logica era o teorie a expresiilor logice şi a modului cum se folosesc ele sau artitmetica o teorie a expresiilor... aritmetice.

Ar mai fi multe de spus.


Pagina indexata la indexul Categories:Ro


<= Inapoi la pagina principala Ro/Haskell.

<- Inapoi la inceputul paginii 'Intrebarile incepatorului Ro/Haskell'.