函數式編程中一切皆是函數，函數的同一個輸入產生的結果是確定的，不依賴于外部狀態 。
所有的變量可以看作不可改變的，因此無法保存狀態。
函數式編程的重點是定義而不是狀態機的實現，而普通的過程式編程正好相反。
函數式程序中各語句不一定嚴格按順序執行，但不影響結果，這種無序化正是并行運算的基礎，是天然邏輯分離的。
closure ：函數式強調無狀態，但closure用于實現狀態 。
continuation ：將結果作為參數傳給下一個函數 ， 類似于返回地址的跳轉，在函數返回時將結果作為參數調用下一個函數，用于實現有序化。
currying ： 快速簡易的創建數據封裝，類似adapter模式，用于實現接口轉換 。