moand的編程學形式：一個（高階）類型包辦程序的組織--類型關乎複合

moand的編程學形式：一個（高階）類型完成程序的組織。

將類型系統的轉換與高階函數進行了融合，相對於鏈式編程而言。

 

類型關乎複合

範疇論與箭頭的複合有關。可是並不是任意兩個箭頭均可以複合。一個箭頭的目標對象必須與下一個箭頭的源對象相同，這樣的兩個箭頭方能複合。在編程中，咱們將一個函數的返回結果傳遞給另外一個函數。若是目標函數不能正確的解析源函數傳遞來的數據，程序就不會工做。首尾必須相連，方能實現複合。編程語言的類型系統越強，箭頭的配合就越容易描述與檢驗。

 

鏈式編程的升級版。

 

<譯> 類型與函數

https://segmentfault.com/a/1190000003888544