程式語言、邏輯學

導航：首頁 > 程式語言、邏輯學

${\frac {A\rightarrow B~~~A}{B}}$

Personal projects / 個人專案

• Projects

邏輯學、型別理論

• 形式邏輯筆記 (Note of Forall X)
• 型別理論與形式證明筆記 (Note of Type Theory and Formal Proof: An Introdution)

程式語言

• 玩具語言
  • 中間語言
    • File:C-like S-scheme 格式架構.pdf
    • File:玩具語言BNF.pdf
    • File:編譯器的流程.pdf
    • 玩具語言的型別推理原則
  • 關於編譯器的一些想法

• 排版論

程式語言撇步

• OCaml筆記
• Rust筆記

Python

• Django筆記

通訊協定

• ActivityPub

編輯器

• 視覺化2個文件的差分 (diff) vim -d 檔案1 檔案2

讀書筆記

• RESTful Web Clients 技術手冊筆記（ISBN 9789864766994）
• Django Unleashed筆記（ISBN 9780321985071）