範疇論——函數式編程

1. 本質上，函數是編程只是範疇論的運算方法，跟數理邏輯/微積分/行列式是同一類東西，都是數學方法。這也就是爲什麼函數式編程要求函數必須式純的，不能右副作用。因爲它式一種數學運算，原始目的就是求值，不做其它事情，否則就無法滿足函數運算法則了。

2. 總之，函數式編程中，函數就是一個管道。一頭進去一個值，另一頭就會出來一個新的值，沒有其他作用。