What do you mean with greater program complexity in this context?
Dependent types require additional source code.
That is true of static types in general.
alt Hacker News
Dependent types require additional source code.
That is true of static types in general.