🚀 go-pugleaf

"Lucifer" <przemek@nospam.pa55.bytom.sdi.tpnet.pl> wrote:

> Na czym polega leniwosc jezyka (np: w Haskellu)?

Leniwosc polega na tym, ze dana czynnosc jest wykonywana dopiero wtedy,
kiedy jej wykonanie jest niezbedne.

Leniwosc jezyka odnosi sie najczesciej do leniwego obliczania wyrazen. Przy
czym wazna jej cecha jest to, ze wykonuje zawsze conajwyzej tyle samo
obiczen co gorliwe podejscie (pomijajac stala). Najprosciej leniwosc wyrazen
mozna sobie wyobrazic przez otagowana wartosc, bedaca, albo thunk'iem z
kodem do wykonania, albo wynikiem, otrzymanym z wykonania tego kodu
(porownaj np. leniwe przekazywanie [call-by-need], z przkazaywaniem przez
nazwe [cal-by-name ; jak bylo np. w starym Algol'u]).

Leniwe podejscicie umozliwia troche inne spojrzenie na konstrukcje
programow. Jest jakgdyby rozciagniecieciem rekurencji na dane inne niz
funkcje i uogulnieniem jej przy pracy z funkcjami, przez co doskonale
wpasowuje sie do wiadomego stylu programowania [zreszta, nie do konca...].

Oczywiscie leniwosc ma sens tylko w jezykach czystych.


> Wydaje mi sie, ze Haskell potrafi samodzielnie 'dochodzic' do tego o co
> tak naprawde programiscie chodzi - czyli zbyt wiele mi sie nie wydaje ;)

Ta forma jest niepoprawna. Wiesz dlaczego. Nie wiesz, ze my tez wiemy.


mp