laboratoare:01-functii-recursive
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
laboratoare:01-functii-recursive [2016/02/29 23:15] calin.cruceru [Referințe] |
laboratoare:01-functii-recursive [2016/02/29 23:45] (current) calin.cruceru [Tail recursion] |
||
|---|---|---|---|
| Line 32: | Line 32: | ||
| ===== Tipuri de date în Haskell ===== | ===== Tipuri de date în Haskell ===== | ||
| - | Haskell este un limbaj tare-tipat (strongly-typed) care poate face type inference. Asta înseamnă că tipul tuturor expresiilor este cunoscut la **compilare**; dacă nu este explicit, compilatorul îl //deduce//. | + | Haskell este un limbaj tipat static (statically typed) care poate face type inference. Asta înseamnă că tipul tuturor expresiilor este cunoscut la **compilare**; dacă nu este explicit, compilatorul îl //deduce//. Deasemenea, Haskell este tare tipat (strongly typed), ceea ce înseamnă că trebuie să existe conversii implicite între diferite tipuri de date. |
| ==== Tipuri de bază ==== | ==== Tipuri de bază ==== | ||
| Line 232: | Line 232: | ||
| <note important> | <note important> | ||
| Folosirea unui acumulator în acest scop este un tipar des întâlnit, util pentru că poate permite reducerea spațiului de stivă necesar de la O(n) la O(1). Unele limbaje (e.g. C) nu garantează această optimizare, care depinde de compilator.\\ | Folosirea unui acumulator în acest scop este un tipar des întâlnit, util pentru că poate permite reducerea spațiului de stivă necesar de la O(n) la O(1). Unele limbaje (e.g. C) nu garantează această optimizare, care depinde de compilator.\\ | ||
| - | Standardul Haskell garantează implementarea tail-recursion. | + | |
| + | Modul în care Haskell asigură tail-recursion o să fie mai clar când vom discuta despre modul de evaluare al funcțiilor. Tot atunci vom vedea și **capcanele** acestuia. | ||
| </note> | </note> | ||
| Line 291: | Line 292: | ||
| ==== Referințe ==== | ==== Referințe ==== | ||
| * [[http://learnyouahaskell.com/|Learn you a Haskell for Great Good]] | * [[http://learnyouahaskell.com/|Learn you a Haskell for Great Good]] | ||
| - | * [[http://worrydream.com/refs/Hughes-WhyFunctionalProgrammingMatters.pdf|Why Functional Programming Matters | + | * [[http://worrydream.com/refs/Hughes-WhyFunctionalProgrammingMatters.pdf|Why Functional Programming Matters]] |
| - | * [[Why Haskell Matters|https://wiki.haskell.org/Why_Haskell_matters]] | + | * [[https://wiki.haskell.org/Why_Haskell_matters|Why Haskell Matters]] |
| * [[http://book.realworldhaskell.org/|Real World Haskell]] | * [[http://book.realworldhaskell.org/|Real World Haskell]] | ||
| ==== Soluții laborator ==== | ==== Soluții laborator ==== | ||
laboratoare/01-functii-recursive.1456780553.txt.gz · Last modified: 2016/02/29 23:15 by calin.cruceru
Page Tools
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 3.0 Unported
