Re: leniwosc jezyka

Article View: pl.comp.lang.funkcyjne

Article #191

Back to pl.comp.lang.funkcyjne Previous Next

#191

From: Michal Przybylek
Date: Tue, 21 Jan 2003 19:56

23 lines
2008 bytes

"Andrzej Radecki" <a_radecki.nospam@poczta.onet.pl> wrote:

> A co z rekurencją ogonową (tail recursion)? AFAIK w przypadku gorliwego
> obliczania wartości wyrażenia możemy taką rekurencję zoptymalizować przez
> zastąpienie jej zwykłą iteracją. Czy możemy to zrobić w przypadku
> podejścia leniwego? IMHO nie bo właściwe obliczenie wartości wyrażenia
> następuje dopiero "w drodze powrotnej" rekurencji.

Nie rozumiem.

Gorliwosc nie jest warunkiem wystarczajacym do tego aby jezyk mogl
optymalizowac rekurencje (i ogolnie - wolania) ogonkowa. Nie widze takze
jakichkolwiek przeciwwskazan dla tej optymalizacji wynikajacych z leniwosci
(co, oczywiscie, nie oznacza, ze zlozonosc pamieciowa bedzie identyczna
[i najczesciej nie bedzie]) [*].

[*] Nie bede sie wypowiadal nt. technicznych szczegolow leniwosci. Nie
jestem kompetentny. Sa na tej grupie osoby duzo odpowiedniejsze do
udzielania odowiedzi wtt.

mp

Technical Details

Message-ID: <b0k981$2s9$1@news.tpi.pl>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.rmf.pl!news.ipartners.pl!news.internetia.pl!skynet.be!skynet.be!newsfeed.tpinternet.pl!news.tpi.pl!not-for-mail

References:

<b0a9ea$aum$1@news.tpi.pl> <b0bifd$on$1@news.tpi.pl> <b0bs67$4tl$1@news.tpi.pl> <b0ejh4$k69$1@news.tpi.pl> <pan.2003.01.20.14.02.32.513416@poczta.onet.pl>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.rmf.pl!news.ipartners.pl!news.internetia.pl!skynet.be!skynet.be!newsfeed.tpinternet.pl!news.tpi.pl!not-for-mail
From: "Michal Przybylek" <pkmichal@poczta.onet.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: leniwosc jezyka
Date: Tue, 21 Jan 2003 20:56:37 +0100
Organization: tp.internet - http://www.tpi.pl/
Lines: 25
Message-ID: <b0k981$2s9$1@news.tpi.pl>
References: <b0a9ea$aum$1@news.tpi.pl> <b0bifd$on$1@news.tpi.pl> <b0bs67$4tl$1@news.tpi.pl> <b0ejh4$k69$1@news.tpi.pl> <pan.2003.01.20.14.02.32.513416@poczta.onet.pl>
NNTP-Posting-Host: 62.244.143.62
X-Trace: news.tpi.pl 1043179586 2953 62.244.143.62 (21 Jan 2003 20:06:26 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Tue, 21 Jan 2003 20:06:26 +0000 (UTC)
X-Newsreader: Microsoft Outlook Express 6.00.2600.0000
X-MSMail-Priority: Normal
X-Priority: 3
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message