Functional Programming Principles in ScalaScala函式編程原理 第一章筆記

標籤：io   strong   ar   cti   res   ad   ef   編程   

所有non-trival程式設計語言都提供了

• 基本運算式（expression）去表示最簡單的運算式
• 組合運算式的方法
• 抽象運算式的方法，也就是為運算式引入一個名字去引用它

substitional model 替代模型

sumOfSquares(3,2+2)

sumOfSquares(3,4)

square(3)+square(4)

9+square(4)

9+16

25

這種模型的核心概念是所有的運算式都規約成值，替代模型在lamada運算式中被形式化，構成了函數式編程的基石

substitional model只能被用於對沒有side effect的運算式求值

side effect比如運算式 a++

每個運算式都能在有限步內規約成一個值嗎？

答案是不行！

def loop:int = loop

當調用loop的時候發生

loop->loop->loop->loop->........

再看另一種求值方法

sumOfSquare(3,2+2)

Square(3)+Square(2+2)

3*3+Square(2+2)

9+(2+2)*(2+2) //這裡參數被計算了多次

9+4*(2+2)

9+4*4

9+16

25

第一種叫call-by-value，第二種叫call-by-name

對於一個運算式這兩種方式會規約成同一個值，只要保證

• 被規約的式子包含pure functions，並且每個求值過程都是可終止（有限）的

call-by-value的好處是每個函數的參數只被計算一次，call-by-name的好處是如果一個參數沒用，那麼它不會被計算