Comment by paulddraper
9 days ago
I wouldn’t call it “aesthetics” per se.
More like “No free lunch.”
You can gain advantages, e.g. more complete compile time guarantees, but at disadvantages, e.g. greater program complexity, or longer compile times.
The subjectivity is whether the tradeoff is “worth” it.
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.