Scala中的懶惰中的對角​​

Question

def foldRight[B] (z : =>B) (f :(A, =>B) => B) :B 

def headOptionViaFoldRight():Option[A]=foldRight(None:Option[A])((h,t)=> Some(h())) 

def takeWhileViaFoldRight(f:A=>Boolean):Stream[A]=foldRight(Stream[A]())((h,t)=> Some(h)) 

def forAll(p:A=>Boolean):Boolean=foldRight(true)((a,b)=>p(a)&&b) 

爲什麼無：HeadOptionViaFoldRight中的第一個參數中的選項[A]？

爲什麼在[takeWhileViaFoldRight]的第一個參數中流[A]？

爲什麼真的在forAll的第一個參數？

只是混淆在foldRight的第一個參數中使用什麼？

Answer 1

只是混淆了在foldRight的第一個參數中使用什麼？

初始值：你會得到一個空序列。

Answer 2

爲什麼真的在forAll的第一個參數？

這是慣例，和歷史上的先例，在一個空的集合exists()返回上false而forall()一個空的集合返回true。