Should mention type-safe printf in dependently-typed languages like Idris[0] or F*[1]:

[0]: https://zgcoder.net/ramblings/typesafe-printf/ [1]: https://fstarlang.github.io/general/2017/11/23/sprintfstar.h...