Forfatteren mener avhengige typer på kompileringstidspunktet uunngåelig vil komme til systemprogrammering. C++ har maler og constexpr, Rust har const generics, Zig har comptime og C har _Generic.

Kilde: https://thenumb.at/Syl-Intro/