3 ms·

You just described parametric polymorphism, which has nothing to do with objects or runtime type information.

• kazinator 12y ago
  "has nothing to do" ... says you! I didn't describe static parametric polymorphism. Some of the things I described are doable with static parametric polymorphism in some limited circumstances.
  • l_dopa 12y ago
    Well, you described parametric polymorphism (a generic Nth function) and then switched to talking about dispatching on tags at runtime. You are mistaken; those really are completely unrelated concepts.
    • deleted 12y ago
      [deleted]
    • deleted 12y ago
      [deleted]
  • asuffield 12y ago
    Please, identify which things can't be done with parametric polymorphism. It is not clear what you are referring to.
    • deleted 12y ago
      [deleted]
      • zachrose 12y ago
        Could somebody please elaborate on what that means and how it applies in this context?