|
|
|
|
|
|
by lmm
450 days ago
|
|
|
> But surely, you can still use subtyping in other cases -- when it is already unboxed -- right? Well, maybe. But you have to actually have to do the legwork of figuring out which cases are subtypes and which aren't - unboxed was the first case that comes to mind, there might be others. Restating the same thing using symbols doesn't help make anything clearer, it just gets in the way. |
|
|