Comment on Why don't you use dependent types?parentComments−paulddraper10moDependent types require additional source code.That is true of static types in general.
Comments
Dependent types require additional source code.
That is true of static types in general.