🚀 go-pugleaf

On Sat, 18 Jan 2003 02:07:59 +0100, Lucifer wrote:
> Na czym polega leniwosc jezyka (np: w Haskellu)?
> 
> Wydaje mi sie, ze Haskell potrafi samodzielnie 'dochodzic' do tego o co 
> tak naprawde programiscie chodzi - czyli zbyt wiele mi sie nie wydaje ;)

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.


-- 
<>> kristof@swissmail.org <Krzysztof Parzyszek>    9/2/2002
<<> "If you can't convince them, confuse them" -- HS Truman