Richard Smith e257051612 No predeclared identifiers, `Core` is a keyword (#4864) 1 year ago
..
README.md d7a90609cc Update docs/ READMEs (#1211) 4 years ago
error_handling.md e26bc32343 Change remaining uses of `Bool` to `bool`, following #750. (#1901) 3 years ago
information_accumulation.md 10189bbb78 rephrase a few sentences (#3766) 2 years ago
library_apis_only.md 8e8d570571 Proposal: Variadics (#2240) 1 year ago
low_context_sensitivity.md 45a5828bb4 Update low_context_sensitivity (#1970) 3 years ago
namespace_cleanliness.md e257051612 No predeclared identifiers, `Core` is a keyword (#4864) 1 year ago
one_way.md f338f56502 docs: fix little writing issue (#2031) 3 years ago
safety_strategy.md 10189bbb78 rephrase a few sentences (#3766) 2 years ago
static_open_extension.md 00a178769f Principle: One static open extension mechanism (#998) 4 years ago
success_criteria.md 79a9b51d07 Update pre-commits, add and address flake8 (#195) 5 years ago

README.md

Principles

Some language goals will have widely-applicable, high-impact, and sometimes non-obvious corollaries. We collect concrete language design principles in this directory as a way to document and clarify these. Principles clarify, but do not supersede, goals and priorities. Principles should be used as a tool in making decisions, and to clarify to contributors how decisions are expected to be made.

A key difference between a principle and the design of a language feature is that a principle should inform multiple designs, whereas a feature's design is typically more focused on achieving a specific goal or set of goals. The principle can help achieve consistency across those multiple designs.

Note that these principles seek to establish both the approaches the project wants to pursue, as well as those we want to exclude.