說到 Haskell，這真是一門逼格極高的編程語言，一般初學者如果沒有相關函數式編程的經驗，入門直接接觸那些稀奇古怪的概念，簡直要跪下。現在回想起來，隱隱覺得初學者所擁有的命令式編程語言(impera ...

談到頁面性能優化，緩存機制是其中非常重要的一環。緩存可以使頁面盡可能快地得到需要的文檔，具有減輕帶寬、降低服務的負荷、提高用戶體驗等功能。隨着高級瀏覽器，尤其是移動端的發展，可用的緩存范疇逐漸變大，簡單地將其分為三類： 一、Application Cache 這是H5中的新 ...

讀書筆記: 范疇論 基本概念 范疇論 數學構造(Mathematical structure) 在數學上，在集合上的一個構造是一個附加的數學對象，賦予這個集合某種意義。 范疇論(category theory) 范疇論的目的是：規范化數學構造。 方法為：使用帶標簽的有向圖 ...

代數、幾何、分析 各自的范疇 數學史海攬勝 【作 者】盧介景編著 【出版發行】 北京：煤炭工業出版社 , 1989.03 數學發展到現在，已經成為科學世界中擁有100多個主要分支學科的龐大的“共和國”。大體說來 ...

由於泛函編程非常重視函數組合（function composition），任何帶有副作用（side effect）的函數都無法實現函數組合，所以必須把包含外界影響（effectful）副作用不純代碼（impure code）函數中的純代碼部分（pure code）抽離出來形成獨立的另一個 ...

單子是幫助你組合函數的工具。 像原始類型一樣，單子是一種數據結構，它可以被當做裝載讓函子取東西的容器使用。 函子取出了數據，進行處理，然后放到一個新的單子中並將其返回。 我們將要關注三種單子： Maybes Promises Lenses 除了用於數組的map和函數 ...

🏠 Functional Programming in Javascript 主目錄 上一章 Javascript中實現函數式編程的技術 第五章 范疇論 托馬斯·沃森（時任IBM董事長）說過一句著名的話，“我想全世界只有五台計算機的市場”。 那是1948年，當時，每個人都認為計算機 ...

在上節我們介紹了Free Monad的基本情況。可以說Free Monad又是一個以數據結構替換程序堆棧的實例。實際上Free Monad的功能絕對不止如此，以heap換stack必須成為Free Monad的運算模式，這樣我們才可以放心的使用Free Monad所產生的Monadic ...