Comment on Why don't you use dependent types?parentComments−nicce10moWhat do you mean with greater program complexity in this context?−paulddraper10moDependent types require additional source code.That is true of static types in general.
Comments
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.