Re: leniwosc jezyka

Article View: pl.comp.lang.funkcyjne

Article #183

Back to pl.comp.lang.funkcyjne Previous Next

#183

From: Lucifer
Date: Sat, 18 Jan 2003 12:02

18 lines
1720 bytes

Krzysztof Parzyszek wrote:

> Z grubsza na kolejności wykonywania beta-redukcji (w rachunku lambda):
> języki gorliwe wykonują je od prawej do lewej, języki leniwe od lewej
> do prawej.  Oczywiście jest to duże uproszczenie i nie do końca prawda,
> ale tak można to sobie wyobrazić.
> 
> Ujmując to w inny sposób można powiedzieć, że w językach leniwych
> najpierw redukowana jest aplikacja funkcji (tzn. argumenty funkcji
> są wstawiane do jej definicji), a potem ewentualnie dokonywane są
> redukcje wewnątrz otrzymanego wyrażenia.  W językach gorliwych najpierw
> redukowane są argumenty i otrzymane wartości są dopiero wstawiane
> do definicji funkcji.

Czyli haskell zmienia postac funkcji ktora ma zamiar zawolac?

-- 
Lucifer

Technical Details

Message-ID: <b0bfpe$3sn$1@news.tpi.pl>

Path:

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

References: <b0a9ea$aum$1@news.tpi.pl> <b0aj4r$lcv$1@rmf-fm.presscom.net>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!newsfeed.tpinternet.pl!news.tpi.pl!not-for-mail
From: Lucifer <przemek@nospam.pa55.bytom.sdi.tpnet.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: leniwosc jezyka
Date: Sat, 18 Jan 2003 13:02:24 +0100
Organization: tp.internet - http://www.tpi.pl/
Lines: 19
Message-ID: <b0bfpe$3sn$1@news.tpi.pl>
References: <b0a9ea$aum$1@news.tpi.pl> <b0aj4r$lcv$1@rmf-fm.presscom.net>
NNTP-Posting-Host: tl206.internetdsl.tpnet.pl
Mime-Version: 1.0
X-Trace: news.tpi.pl 1042891375 3991 80.55.115.206 (18 Jan 2003 12:02:55 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Sat, 18 Jan 2003 12:02:55 +0000 (UTC)
In-Reply-To: <b0aj4r$lcv$1@rmf-fm.presscom.net>
X-Accept-Language: pl, en
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.2.1) Gecko/20021226 Debian/1.2.1-9
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message