On: Why Static Languages Suffer from Complexity (2022)

[Jtsummers]

No. Dependent types go further and allow you to do things like express that the length of an output vector/array is the same as some input number. That is, depends on some value (as in a runtime value). This mod type is fixed at compile time.