The idea of type aliases is currently used in the implementation of algebraic data types, and there seems to be great benefit in allowing this aliasing behavior at the top level--OCaml does this, and C's typedef is related as well.
Consideration must be given to the equability of types. That is, does a variable of type a that is an alias for int accept a value of type b which is also an alias for int?
The idea of type aliases is currently used in the implementation of algebraic data types, and there seems to be great benefit in allowing this aliasing behavior at the top level--OCaml does this, and C's
typedefis related as well.Consideration must be given to the equability of types. That is, does a variable of type
athat is an alias forintaccept a value of typebwhich is also an alias forint?