articleTags: article doodle erlang fanart illustration impression language-processor latex lettering logotype multi-stage-programming promare record-calculus revue-starlight satysfi sesterl slides stadt-tokio tex type-inference type-system typesetting
As you probably know, unit testing is a process of checking whether each component works as intended in operational terms, by using some concrete example inputs and outputs.
When it comes to discussing how unit tests should be written, some discussions often presume features of specific programming languages or their compiler implementations. However, since languages or compilers are not given as absolute and universal things, in principle the purpose of using programming languages should define how to design language features, not vice versa.
This article introduces
tex_of_ocaml1, a half-joking OSS I developed. Readers are supposed to be somewhat familiar with untyped lambda calculi.
First appearance (written in Japanese):
- Dec 9, 2020. TeX言語で型なしλ計算を評価するVMを書いた話 - Qiita
I am in the process of changing the language design for SATySFi v0.1.0 about optional parameters. It will be a breaking change (i.e. not backward compatible with SATySFi v0.0.x), and I will introduce it here.
- Dec 30, 2021. SATySFi Wiki (written in Japanese)