程式語言、邏輯學

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

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

Personal projects / 個人專案

• Projects

邏輯學、型別理論

• 形式邏輯筆記 (Note of Forall X)
• 型別理論與形式證明筆記 (Note of Type Theory and Formal Proof: An Introdution)
• Program=Proof筆記
• File:一個外行對依值型別的理解.pdf（文字檔）
• File:迴圈轉遞迴（稿）.pdf（文字檔）
• 弗雷格(Frege)：
  • 東大圖書《弗雷格》筆記
  • Translations from the Philosopical Writing of Gottlob Frege 筆記（弗雷格的哲學著作英譯，中止撰寫）

編譯器、直譯器

• Essentials of Compilation筆記
• Essentials of Programming Language筆記

程式語言

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

• 排版論
• 檔案:Tail Call Optimization Debugging with gdbtui.ogg

程式語言撇步

• OCaml筆記
• Rust筆記
  • Programming Rust筆記
• JavaScript、TypeScript雜記
• SQL雜記（含SQL Pocket Guide的讀書心得）
• Dafny雜記
• 組合語言雜記

Python

• Python筆記
• Django筆記
  • Django筆記/佈署Django專案
• Django Unleashed筆記（ISBN 9780321985071）

LaTeX

• 檔案:大家來學LaTeX（第1版）.pdf 轉載。2004 年的文章，當時協助許多臺灣的 LaTeX 使用者入門。GFDL 授權。

網路技術、通訊協定

• ActivityPub
• Yahoo股市API
• RESTful Web Clients 技術手冊筆記（ISBN 9789864766994）

一些小筆記

• gensym - (generating symbol) 變數名稱產生器 (in OCaml)

演算法實作

排序

• 插入排序法 (in Python)
• 合併排序法 (in Python)

其他

• 「開源公益專案能賺錢嗎？」的講座記錄 [講題簡介 https://coscup.org/2023/en/session/GDGJJZ]

編輯器

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