A type system is nominal when types can be given new names, and those new names are attached to new behaviors. To me, type-checking programs in a nominal type system seems like it must be no less work than type-checking with an equivalent structural type system. But I don't yet have a proof. Which is more expensive, structural or nominal type-checking?

  • 2
    $\begingroup$ There are many falvors of both. I am sure you can arrange things so that the answer goes either way. And to make things works, how do you want to compare the "price" , precisely? As a measure of what? $\endgroup$ Jan 8 at 23:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.