tree: c0daac9dec3bc2c15c769066b9c770de29242ed4 [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. int-to-double.md
  13. int64.md
  14. interface-conflicts.md
  15. invalid_returns.md
  16. mixin-declaration.md
  17. mixin-inference.md
  18. nosuchmethod-forwarding.md
  19. optional-new-const.md
  20. README.md
  21. subtyping.md
  22. super-bounded-types.md
docs/language/informal/README.md

This directory contains feature specifications.

Note: This directory contains older feature specifications, new ones should be submitted to the language repository here.

The existing feature specifications in this directory will have their status updated as we proceed, and in particular each of them will become ‘background’ material as it is integrated into the language specification. When all feature specifications in this directory (that is, all other files than this one) have become background material, this directory will serve only as documentation for the process whereby each feature was designed and the associated motivation.

That said, the following section contains a few words about what a feature specification is, and how it can be used.

What is a Feature Specification?

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 feature specifications. These are intended to be precise enough for a good faith implementer to correctly understand the syntax and semantics of the language, but when the contents of a feature specification is integrated into the language specification we expect the extra processing to give rise to additional clarifications and corrections, which means that a feature specification is expected to be nearly as complete and correct as the language specification.