Wie viel von Pascal's Dreieck wird dies bewerten?

Question

Wenn ich diese Konstante pascal als

pascal :: [[Int]] 
pascal = iterate newrow [1] 
    where newrow = (zipWith (+) <*> tail) . ([0]++) . (++[0]) 

definiert haben, und ich bewerten pascal !! 50 !! 50 in GHCI, wie viel von dem Dreieck tut dies evaulate? Bedeutet diese Faulheit, dass nur die notwendigen Werte (plus eine Menge Thunks) berechnet werden?

Answer 1

Ja, nur die Elemente, die zur Berechnung des betreffenden Elements benötigt werden, werden ausgewertet.

GHCi bietet die Debugging-Befehle :sprint und :print an, die Ihnen Informationen darüber geben können, welche Teile eines Werts bereits ausgewertet wurden.

An diesem Beispiel:

GHCi> :sprint pascal 
pascal = _ 

(Das ist, weil nichts an dieser Stelle ausgewertet wurde und Thunks als _ gezeigt.)

GHCi> pascal !! 5 !! 5 
1 

(Ich verwende 50 nicht, weil dann Dieses Beispiel würde zu lang werden.)

GHCi> :sprint pascal 
pascal = [1] : [_,1] : [_,_,1] : [_,_,_,1] : [_,_,_,_,1] : 
     (_ : _ : _ : _ : _ : 1 : _) : _ 

Jetzt erhalten Sie ein ziemlich klare Vorstellung, welche Teile angeschaut wurden.

ist ein Lassen Sie versuchen, mehr:

GHCi> pascal !! 5 !! 4 
5 
GHCi> :sprint pascal 
pascal = [1] : [1,1] : [_,2,1] : [_,_,3,1] : [_,_,_,4,1] : 
     (_ : _ : _ : _ : 5 : 1 : _) : _ 

Und noch eins:

GHCi> pascal !! 10 !! 5 
252 
GHCi> :sprint pascal 
pascal = [1] : [1,1] : [1,2,1] : [1,3,3,1] : [1,4,6,4,1] : 
     (1 : 5 : 10 : 10 : 5 : 1 : _) : 
     (_ : 6 : 15 : 20 : 15 : 6 : _) : 
     (_ : _ : 21 : 35 : 35 : 21 : _) : 
     (_ : _ : _ : 56 : 70 : 56 : _) : 
     (_ : _ : _ : _ : 126 : 126 : _) : 
     (_ : _ : _ : _ : _ : 252 : _) : _