|
|
|
|
|
|
by amw-zero
1073 days ago
|
|
|
Well, "constraint" is a very abstract word. What you're describing are still constraints, they're just complex constraints. The type vs. no type argument is basically: what's the cutoff line for constraints that are worth encoding as types or not? |
|
|