tree: d6773413e7fcf5aa092cc411d8803c843aaff096 [path history] [tgz]
  1. assert-in-initializer-list.md
  2. covariant-from-class.md
  3. covariant-overrides.md
  4. dynamic-members.md
  5. extreme-upper-lower-bounds.md
  6. generalized-void.md
  7. generic-function-instantiation.md
  8. generic-function-type-alias.md
  9. generic-method-syntax.md
  10. implicit-creation.md
  11. instantiate-to-bound.md
  12. int64.md
  13. mixin-declaration.md
  14. mixin-inference.md
  15. nosuchmethod-forwarding.md
  16. optional-new-const.md
  17. README.md
  18. subtyping.md
  19. super-bounded-types.md
docs/language/informal/README.md

This directory contains “informal specifications”.

In order to move faster and get better feedback, we implement and iterate on language changes before the full official specification has been written. Still, the implementers need something to go on.

For that, the language team writes “informal specifications”. These are intended to be precise enough for a good faith implementer to correctly understand the syntax and semantics of the language, but without all of the laborious detail of the complete specification.

Once the feature has been implemented, tested, and we are confident in it, the language team will write the real text in the language specification and the document here becomes deprecated and no longer canonical.

Until then, while the feature is in progress, a live pull request for the informal spec is the source of truth for the feature.