Uploaded image for project: 'JDK'
  1. JDK
  2. JDK-8016206

Develop a strategy for coping with expansive inheritance

    Details

      Description

      Kennedy and Pierce, in "On Decidability of Nominal Subtyping with Variance" [1], identified "expansive inheritance" as a source of difficult and possibly undecidable subtyping problems. The kinds of declarations necessary to create these problems are not common (and perhaps completely useless), but to ensure correctness, the language should account for them in some way.

      Algorithms that risk nontermination in the presence of expansive inheritance:
      - Subtyping
      - Inference constraint reduction
      - Inference bound incorporation

      Possible strategies for coping:
      - Prohibit expansive declarations (analogous to circular inheritance)
      - Detect expansive loops in the algorithms

      [1] http://research.microsoft.com/apps/pubs/default.aspx?id=64041

        Attachments

          Issue Links

            Activity

              People

              • Assignee:
                dlsmith Dan Smith
                Reporter:
                dlsmith Dan Smith
              • Votes:
                0 Vote for this issue
                Watchers:
                2 Start watching this issue

                Dates

                • Created:
                  Updated: