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

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.