[doctor_phil]

Sounds like comptime from Zig. There are a few others that does something similar, but Zig probably has most mind share right now.

[txdv]

You parse the string and then iterate over the passed arguments and check if everything adds ups. Rather straightforward.

Expressing it in the type system like TS did is impressive, but not simple.