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

{{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]]（[[一個外行對依值型別的理解-文字檔|文字檔]]）

== 編譯器 ==
* [[Essentials of Compilation筆記]]

== 程式語言 ==
* 玩具語言
** 中間語言
*** [[: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雜記]]

=== 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]] - 變數名稱產生器

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



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