Article View: pl.comp.lang.funkcyjne
Article #34Re: Przepełnienie stosu w Ocamlu.
From: Mariusz K. Grzeca
Date: Thu, 12 Dec 2002 11:05
Date: Thu, 12 Dec 2002 11:05
18 lines
1757 bytes
1757 bytes
Tomasz Zielonka wrote: > A to niby dlaczego? Dlatego, że foldl jest w Haskellu leniwy względem drugiego argumentu, a wśród istniejących implementacji tylko GHC jest w stanie czasami coś z tym zrobić. > > So foldl is indeed tail recursive, but this doesn't help if its > > operator isn't strict Gorliwość operatora nie ma tu znaczenia, bo aplikacja nieznanej funkcji jest zawsze leniwa. A ta funkcja zrobi się znana dopiero wtedy, gdy kompilator rozwinie sobie ciało foldla w miejscu użycia... > Foldl gorliwy na argumencie akumulatora można zapisać np. tak: Zgoda, można. Tyle że foldl domyślnie nie jest gorliwy...
Technical Details
Message-ID:
<at9sg8$km0$2@news.tpi.pl>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!pingwin.icm.edu.pl!news.icm.edu.pl!uw.edu.pl!mimuw.edu.pl!news.mimuw.edu.pl!newsfeed.tpinternet.pl!news.tpi.pl!not-for-mailReferences:
<asg3hf$25q$1@kenny.mimuw.edu.pl> <3DF10715.9A91D4D8@mimuw.edu.pl> <Pine.LNX.4.44L.0212070001400.22165-100000@sokrates.mimuw.edu.pl> <slrnav43tc.og1.t.zielonka@zodiac.mimuw.edu.pl>Show Full Headers
Complete Article Headers
Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!pingwin.icm.edu.pl!news.icm.edu.pl!uw.edu.pl!mimuw.edu.pl!news.mimuw.edu.pl!newsfeed.tpinternet.pl!news.tpi.pl!not-for-mail From: "Mariusz K. Grzeca" <mgrzeca@sokrates.mimuw.edu.pl> Newsgroups: pl.comp.lang.funkcyjne Subject: Re: Przepełnienie stosu w Ocamlu. Date: Thu, 12 Dec 2002 12:05:54 +0100 Organization: tp.internet - http://www.tpi.pl/ Lines: 19 Message-ID: <at9sg8$km0$2@news.tpi.pl> References: <asg3hf$25q$1@kenny.mimuw.edu.pl> <3DF10715.9A91D4D8@mimuw.edu.pl> <Pine.LNX.4.44L.0212070001400.22165-100000@sokrates.mimuw.edu.pl> <slrnav43tc.og1.t.zielonka@zodiac.mimuw.edu.pl> NNTP-Posting-Host: po124.warszawa.cvx.ppp.tpnet.pl Mime-Version: 1.0 X-Trace: news.tpi.pl 1039693129 21184 213.76.110.124 (12 Dec 2002 11:38:49 GMT) X-Complaints-To: usenet@tpi.pl NNTP-Posting-Date: Thu, 12 Dec 2002 11:38:49 +0000 (UTC) In-Reply-To: <asg3hf$25q$1@kenny.mimuw.edu.pl> User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.2b) Gecko/20021016 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit