2 ms·Dependent types require additional source code. That is true of static types in general.by paulddraper 1y agoDependent types require additional source code. That is true of static types in general.