The Common Lisp Condition System

...

April 25, 2021 · poga

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.

December 19, 2020 · poga

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.

November 30, 2020 · poga

The journey of g0v.social

Slides for g0v summit 2020. ...

November 29, 2020 · poga

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?

November 21, 2020 · poga

在 iPad 上布置軟體開發環境

五月買了 iPad Pro 跟 巧控鍵盤 後,大部分的需求 iPad Pro 都能直接滿足,除了寫程式以外。摸索了一陣子之後總算找到順手又省錢的寫程式方式了,這篇簡單記錄一下。 ...

August 1, 2020 · poga

Concurrency in Clojure, Racket, and Gerbil Scheme

June 7, 2020 · poga

On Communication

Reading List. ...

April 21, 2020 · poga

Domain Modeling Made Functional

Notes on the book Domain Modeling Made Functional: Tackle Software Complexity with Domain-Driven Design and F#. ...

April 10, 2020 · poga

Zero Trust Network

Notes on the book Zero Trust Network. ...

April 9, 2020 · poga