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

Develop a strategy for coping with expansive inheritance

    XMLWordPrintable

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

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

              Dates

                Created:
                Updated: