SATySFi
Tags: 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
A Type System of Labeled Optional Parameters for SATySFi v0.1.0
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.
First appearance:
- Dec 30, 2021. SATySFi Wiki (written in Japanese)
