1. Java 8

1.1. 除了增加函式式特性，還增加了一些配合使用的語法糖衣

1.2. 函式式介面

1.3. 默認方法

1.4. mixin

1.5. Optional型別

1.6. stream

2. 函式式的基礎設施

2.1. 架構

2.2. Web框架

2.3. 資料庫

讀函式式編程思維筆記05_現實應用

1. Java 8

1.1. 除了增加函式式特性，還增加了一些配合使用的語法糖衣

1.2. 函式式介面

1.2.1. SAM（Single Abstract Method，單抽象方法）介面

1.2.1.1. 含有單一方法的介面是Java的一種習慣用法

1.2.1.2. Runnable和Callable介面都是有代表性的例子

1.2.2. 對舊有SAM介面的增強，它允許我們用lambda塊取代傳統的匿名類來就地實體化一個介面

1.3. 默認方法

1.3.1. 一些在介面型別中宣告的，以default關鍵字標記的，非抽象、非靜態的public方法（且帶有方法體定義）

1.4. mixin

1.4.1. 介于介面和父類之間的一種結構

1.4.2. 和介面一樣都是型別，都可以執行instanceof檢查，也都遵循一樣的擴展規則

1.4.3. Ruby、Groovy等類似語言也允許通過mixin的形式，在既有的類層次上增補功能

1.5. Optional型別

1.5.1. min()等內建方法都不直接回傳結果值，而是回傳一個Optional結構

1.5.2. 提供了ifPresent()方法，可以用在終結操作的位置上，設定在僅當存在有效結果時執行的一個代碼塊

1.6. stream

1.6.1. 不存盤值，只擔當從輸入源引出的管道角色，一直連接到終結操作上產生輸出

1.6.2. 盡可能做到緩求值

1.6.3. 可以沒有邊界（無限長）

1.6.3.1. 用limit()、findFirst()等方法來取得其一部分子集

1.6.4. 用過之后必須重新生成新的stream才能再次操作

1.6.4.1. 消耗品

1.6.5. 操作分類

1.6.5.1. 中間操作

1.6.5.1.1. 一律回傳新的stream，并且總是緩求值的

1.6.5.2. 終結操作

1.6.5.2.1. 遍歷stream，產生結果值和副作用

2. 函式式的基礎設施

2.1. 架構

2.1.1. 架構永遠是取舍的結果

2.1.2. 從根本上貫徹“值不可變”的思路，最大化地發揮其優點

2.1.2.1. Java不允許字典型集合中的鍵在它被集合參考期間發生取值的變化，值不可變的物件完全符合這項要求

2.1.2.2. Groovy用語法糖衣掩蓋了實作值不可變性的繁瑣細節

2.1.2.2.1. 添加@Immutable標注

2.1.3. 測驗是為了確認代碼中成功地制造了我們需要的變化

2.1.3.1. 測驗的真正目的是對可變事物的檢驗——可變的事物越多，就需要越多的測驗來保證其正確性

2.1.3.2. 可變的狀態越多，要求的測驗也越多，

2.1.4. 值不可變的物件天生就是執行緒安全的，完全不會發生同步方面的問題

2.1.4.1. 具有原子性的失敗（failure atomicity）：只要物件構造完畢，就不會再發生由值可變性引發的失敗

2.1.5. 實作一個值不可變的Java類

2.1.5.1. 把所有的欄位都標記為final

2.1.5.1.1. 要么在宣告時初始化，要么在構造器中初始化

2.1.5.2. 把類標記為final，防止被子類覆寫

2.1.5.3. 不要提供無引數的構造器

2.1.5.3.1. 一個值不可變的物件，它的一切狀態都必須通過構造器來設定

2.1.5.3.2. 值不可變的類根本不應該出現無引數的構造器

2.1.5.3.2.1. 必須提供無引數的構造器，考慮用一個私有的無引數構造器來滿足框架的要求

2.1.5.3.2.2. 私有的構造器仍然可以通過反射來訪問

2.1.5.4. 提供至少一個構造器

2.1.5.5. 除了構造器之外，不要提供任何制造變化的方法

2.1.5.5.1. 標記了final的物件參考并不等于它所指向的一切都不可改變

2.1.5.5.2. 需要預防性地復制所有通過getXXX方法回傳的物件參考

2.1.6. 命令-查詢職責隔離架構

2.1.6.1. （Command-Query Responsibility Segregation，CQRS）

2.1.7. 最終一致性（eventual consistency）

2.1.7.1. 不對模型的變更操作施加硬性的時間限制，而只是保證，當更新發生后，模型最侄訓回復到一致的狀態

2.1.7.2. 事務要求系統滿足ACID（即原子性Atomic、一致性Consistent、隔離性Isolated、持久性Durable的縮寫）性質，而最終一致性要求滿足BASE（即基本可用Basically Available、軟狀態Soft state、最終一致性Eventual consistency的縮寫）性質

2.1.7.3. 讀取與變更分離之后，邏輯可得到簡化

2.1.7.3.1. 承擔讀取職責的部分可以全面實作值不可變的性質

2.2. Web框架

2.2.1. 整個Web看作是一系列從請求到回應的變換

2.2.1.1. Web領域與函式式編程簡直是天作之合

2.2.2. 路由框架

2.2.3. 以函式作為路由的目標

2.2.4. 領域專用語言（DSL）

2.2.4.1. 表達能力有限，專門針對一個狹窄問題域的計算機編程語言

2.2.4.2. 內部DSL是在其宿主語言之上構造出來的新“語言”，且利用宿主語言的語法糖衣來形成自身的風格

2.2.4.2.1. Ruby on Rails Web框架

2.2.4.2.2. C#語言的LINQ擴展

2.2.5. 與構建工具緊密集成

2.2.5.1. 和命令列的構建工具緊密集成，用構建工具來執行從生成新專案骨架到運行測驗的一切任務

2.3. 資料庫

2.3.1. Datomic是一種值不可變的資料庫

2.3.1.1. 存盤值而非資料，它的空間利用效率并不低

2.3.1.2. 進入到庫里的每一筆事實都會被打上時間戳

2.3.1.3. 在資訊上增加了時間的概念，使得每一筆事實都總是維持在正確的背景關系里

2.3.1.4. 永久地記錄所有的schema變更和資料變更

2.3.1.5. 讀取和寫入分離