Skip to content

Work Items

Tom Clune edited this page Nov 20, 2023 · 3 revisions

Lead up to meeting 232 (Berkeley)

  1. Edits to syntax paper
  2. Misplaced template procedures - deep nesting
  3. Long argument lists
  4. Simple instantiations
  5. "Looped" instantiations (ala smart macros)
  6. Containers and Iterators
    • requirements paper
  7. Update existing requirements and specs papers
  8. Start on edits?

Lead up to meeting 231 (virtual)

  1. UTI (with direction from plenary)
    • Bounds
    • Keywords
  2. Automatic generic name for template procedures (good or bad?)
  3. Simple template procedures & succinct overloads
    • Japan WG5 paper
  4. Deferred polymorphic types (direction from plenary)
  5. Long/nested templates
    • Submodule approach (Malcolm asserts that this can work)
  6. Long argument lists
  7. Logical requirements
  8. Intrinsic requirements
    • IS_EXTENSIBLE()
    • NOT_SAME_TYPE_AS()
    • SAME_TYPE_AS()
  9. Properties (ala Magne)
    • E.g., associative
  10. Deferred procedure specification
    • Relax constraints to allow wider set of matching procedures
    • Unused optional arguments
    • CLASS vs TYPE
    • Etc
  11. Export generic interfaces
    • Malcolm suggested a small hammer (as opposed to a big hammer)

Completed

Deferred

Clone this wiki locally