|
|
|
|
|
|
by marcosdumay
2327 days ago
|
|
|
What you are describing is still an ADT. It's just a different syntax. Indeed, your examples of the TS syntax are more convenient than ML, but that is reversed when going the other way, and decomposing the types into smaller sums instead of composing. |
|
|