Ce este lambda calculul ?
From HaskellWiki
m (typo corrected) |
|||
| (4 intermediate revisions not shown.) | |||
| Line 1: | Line 1: | ||
| + | [[Image:Haskelllogo-small-flag-RO-8.jpg|center|Haskell - Ce este lambda calculul ?]] | ||
| + | |||
| + | [[Category:Ro]] | ||
| + | |||
Pe scurt: | Pe scurt: | ||
| Line 5: | 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 | + | - 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 | + | - 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. | ||
| - | [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. ]<br> <br> | ||
| + | [http://www.haskell.org/haskellwiki/Intrebarile_incepatorului <'''-''' Inapoi la inceputul paginii 'Intrebarile incepatorului Ro/Haskell'. ] | ||
Current revision
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'.
