|
|
|
|
|
|
by marcosdumay
596 days ago
|
|
|
> but they are tricky because they don't compose like sum types do Just to point that this part is very literally true. They compose perfectly well, but they don't compose on the same way that tagged unions do. Tagged unions compose by function abstraction, untagged ones compose by function dispatching. Maybe one can argue that untagged unions compose in less useful ways. But I've never seen this argument made. |
|
|