← Back to context Comment by nicce 8 days ago What do you mean with greater program complexity in this context? 1 comment nicce Reply paulddraper 8 days ago Dependent types require additional source code.That is true of static types in general.
paulddraper 8 days ago Dependent types require additional source code.That is true of static types in general.
Dependent types require additional source code.
That is true of static types in general.