檢視程式語言、邏輯學的原始碼

{{Nav}}

<math>
\frac{A\rightarrow B~~~A}{B}
</math>

== Personal projects / 個人專案 ==
* [[Projects]]

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

== 編譯器、直譯器 ==
* [[Essentials of Compilation筆記]]
* [[Essentials of Programming Language筆記]]

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

* [[排版論]]
* [[File:Tail Call Optimization Debugging with gdbtui.ogg|尾遞迴 -O3 最佳化也可以用 gebtui debugger 偵錯]]

== 程式語言撇步 ==
* [[OCaml筆記]]
* [[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)

== 編輯器 ==
* 視覺化2個文件的差分 (diff) <code>vim  -d 檔案1 檔案2</code>



[[category:資訊]]
[[category:邏輯學]]