Haskell Fibonacci Açıklama

Question

Haskell için oldukça yeni ve Fibonacci dizilerinin tembel ifadesinin nasıl çalıştığını kafamın etrafına sarmaya çalışıyorum.

Bunun daha önce sorulmuş olduğunu biliyorum, ancak cevapların hiçbiri sonucu görselleştirmekle uğraştığım bir sorunu gidermedim.

1. zipWith anlamıyla bir liste
ilk elemanı ancak birlikte iki listeyi
2. tail kapmak tüm fermuarlar:

   kod zipWith

   fibs = 0 : 1 : zipWith (+) fibs (tail fibs) 
   

   Aşağıdakileri anladım kullanarak standart biridir

3. Haskell, 'to-be' hesaplanmış veriyi thunks olarak göndermektedir. Benim anlayış

, ilk [0,1,<thunk>] ve [1,<thunk>][1,<thunk>] vermek zipWith (+) kullanarak ekler.

Neden: Yani şimdi

fibs = 0 : 1 : 1 : zipWith (+) fibs (tail fibs) 

Ben google'dan ettik referanslar Bir çok sonra Sorum şudur

fibs = 0 : 1 : 1 : zipWith (+) [1,1,<thunk>] ([1,<thunk>]). 

yukarıdaki çizgiyi "görselleştirmek" yolunu seçerler var sadece [1,1,<thunk>] yerinekarşılık gelen yukarıda doğrultusunda fibs bileşeni?

fibs tüm listeyi içermemeli ve <thunk>? zipWith zaten öğelerin ilk çifti işledi çünkü

Answer 1

Bu ara adım yanlıştır:

fibs = 0 : 1 : 1 : zipWith (+) fibs (tail fibs) 

zipWith genel durumda ne Hatırlama:

zipWith f (x:xs) (y:ys) = (f x y) : zipWith f xs ys 

size tanımını doğrudan uygularsak Bu genişleme elde edin:

fibs = 0 : 1 : zipWith (+) fibs (tail fibs)    # fibs=[0,1,...] 
    = 0 : 1 : zipWith (+) [0,1,...] (tail [0,1,...])  # tail fibs=[1,...] 
    = 0 : 1 : zipWith (+) [0,1,...] [1,...]    # apply zipWith 
    = 0 : 1 : (0+1 : zipWith (+) [1,0+1,...] [0+1,...]) 
    = 0 : 1 : 1 : zipWith (+) [1,1,...] [1,...]   # apply zipWith 
    = 0 : 1 : 1 : (1+1 : zipWith (+) [1,1+1,...] [1+1,...]) 
    = 0 : 1 : 1 : 2 : zipWith (+) [1,2,...] [2,...]  # apply zipWith 
    = 0 : 1 : 1 : 2 : (1+2 : zipWith (+) [2,1+2,...] [1+2,...]) 
    = 0 : 1 : 1 : 2 : 3 : zipWith (+) [2,3...] [3,...] # apply zipWith 
    : 

Answer 2

Nasıl görselleştirilir? Devam ediyor.

1 1 2 3 5 8 13 <----fibs 
    1 2 3 5 8 13  <----The tail of fibs 
+________________ <----zipWith (+) function 
    2 3 5 8 13 21  <----New fibs. 13 drops out --nothing to zip with 

finally, add [1, 1] to beginning 
1, 1, 2, 3, 5, 8, 13, 21 

böyle tanımlarını anlamak için