Common Super Type for Boxed Types and Array Types

Suminda Sirinath Salpitikorala Dharmasena sirinath1978m at gmail.com
Thu Dec 10 10:20:53 UTC 2020


Hello,

Correcting some typos in my previous email.

Some of the boxed types device directly from Object. Also, the array types
derive from Object.

This is sometimes inconvenient when pacifying API signatures and bounds.

So is it possible to consider a hierarchy like:

- Any???
  - Object
    - Boxed<T>
      - BoxedPrimitive<T>
        - Number<T>
          - Integer
          - ...
        - Boolean
        - Character
     - BoxedValueType<T> // or BoxedValue<T>
    - Array<T>
      - ArrayPrimitive<T>
        - ArrayNumber<T>
          - int[]
          - ...
        - boolean[]
        - character[]
      - ArrayObject<T>
  - Value // May have another name
    - ValuePrimitive<T> // T when there are primitive generics in the
language
      - ValueNumber<T>
        - int
        - ...
      - boolean
      - char

Suminda

>


More information about the valhalla-dev mailing list