| ▲ | nicce 4 days ago | |
What do you mean with greater program complexity in this context? | ||
| ▲ | paulddraper 3 days ago | parent [-] | |
Dependent types require additional source code. That is true of static types in general. | ||
| ▲ | nicce 4 days ago | |
What do you mean with greater program complexity in this context? | ||
| ▲ | paulddraper 3 days ago | parent [-] | |
Dependent types require additional source code. That is true of static types in general. | ||