Functional Programming 知識大補帖
這是一個關於 Functional Programming 名詞解釋及知識點整理的地方,會包含一些情境及範例解說,目的在於消除學習 FP 過程中因不懂緣由所產生的困惑。
Roadmap
- lambda calculus
- 用 recursion 解釋可計算性
- 加上 simply type
- 解釋型別規則
- 建立 STLC categorical semantic
- 加上 polymorphism
- 解釋型別規則
- 建立 (E \to B) categorical semantic
- 解釋 (\lambda 2) 的 polymorphic property
- 解釋 recursive type
- 連結 F-algebra
- 變成 dependent type
- 解釋型別規則
- 解釋模型(The natural model)
- topos
- topos fundamental theorem
- presheaf
- representable natural transformation
- 進入真正的應用
- side effect
- concurrency
- 安全性
- 記憶體安全與子結構類型
- 整體安全性不是只關乎記憶體
- domain language
⚠️ 部份完成小主題內容,整理後移除
Development
Build command
make build
Locally watch server
./server.sh
Contribution
建立新的 tree,prefix 根據你的內容的主題更換
目前現有的主題
- fp (functional programming)
- alg (algebra)
- cat (category)
- set
forester new prefix=fp
基本內容,如果是修改現有的 tree 就新增 author 上去
\title{XXX}
\author{name}
如果你願意貢獻你的一些資訊可以在 trees/person
資料夾開一個 tree
trees/person/xxxx.tree
\title{XXXXX}
\taxon{person}
\meta{position}{Front-End Developer}
\meta{external}{xxxxx.com}
將你的內容關聯到某個 tree 內
xx-XXXX.tree
\transclude{xx-XXXX}
提及 xx-XXXX.tree
[text](xx-XXXX)