3 ms·
The problem with structural types are the errors. That one choice leads to a problem doesn't mean that the alternative won't have a worse one.
by pron 5y ago
The problem with structural types are the errors. That one choice leads to a problem doesn't mean that the alternative won't have a worse one.
- grumpyprole 5y agoI want both, so I get to decide the most appropriate for my problem.
- andrewchambers 5y agoA simple solution might be to just look for name aliases that match a type and report that to the user. I don't see why you can't name the shape of a structural type without having to use nominal types.
- pron 5y agoBut you could have a dozen name aliases for a specific type. So you can name the type, but the name is no longer unique, as two names for the same structure are two names assigned to the same type.