The Common Lisp Condition System
...
Predictable Performance of OCaml's Module System
OCaml’s module system can be a powerful tool for building generic code and structuring systems. Functors are functions from modules to modules and they serve an important role for the power of module system. However, I want to know if functors (and the module system) can be optimized away by the OCaml compiler.
Going through the OCaml compiler pipeline (manually)
Modern compilers usually composed by multiple stages: parsers, optimizers, linkers, and assemblers. Let’s go through it one by one to have a better understanding of the OCaml compiler.
The journey of g0v.social
Slides for g0v summit 2020. ...
A Taste of OCaml's Predictable Performance
eqaf, a constant-time compare function implementation in OCaml, is a great case to demonstrate the predictable performance of OCaml’s compiler. Why?
在 iPad 上布置軟體開發環境
五月買了 iPad Pro 跟 巧控鍵盤 後，大部分的需求 iPad Pro 都能直接滿足，除了寫程式以外。摸索了一陣子之後總算找到順手又省錢的寫程式方式了，這篇簡單記錄一下。 ...
Concurrency in Clojure, Racket, and Gerbil Scheme
On Communication
Reading List. ...
Domain Modeling Made Functional
Notes on the book Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F#. ...
Zero Trust Network
Notes on the book Zero Trust Network. ...