New Issue: Can we remove runtime types from Chapel?

19292, "vasslitvinov", "Can we remove runtime types from Chapel?", "2022-02-22T22:24:25Z"

The runtime types of arrays and domains in Chapel present both semantic complications and implementation difficulties. One example is #11549.

This issue proposes to investigate what it would take to switch array and domain types to purely-static types. For example:

  • What aspects of the language definition would need to change?
  • In what ways do user codes rely on array/domain types having a runtime component?