4 ms·

What do you mean with greater program complexity in this context?

• paulddraper 11mo ago
  Dependent types require additional source code. That is true of static types in general.