3 ms·
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,
by paulddraper 1y 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.
- nicce 1y agoWhat do you mean with greater program complexity in this context?
- paulddraper 1y agoDependent types require additional source code. That is true of static types in general.