4 ms·
A 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
by andrewchambers 5y ago
A 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.