Skip to content

docs: spec inteira em inglês e slogan de concorrência ajustado (#143, itens 3 e 4) - #144

Merged
estevaofon merged 1 commit into
developfrom
docs/issue-143-spec-english-concurrency-claim
Sep 6, 2026
Merged

docs: spec inteira em inglês e slogan de concorrência ajustado (#143, itens 3 e 4)#144
estevaofon merged 1 commit into
developfrom
docs/issue-143-spec-english-concurrency-claim

Conversation

@estevaofon

Copy link
Copy Markdown
Owner

Implementa os itens 3 e 4 da issue #143 (só documentação, como a própria issue sugere agrupar num único PR).

3. Idioma da spec

docs/NOXY_LANGUAGE_SPEC.md agora está inteiramente em inglês, o idioma oficial do projeto. Foram traduzidas as quatro subseções que estavam em português:

  • §7 Limites de chamadaCall limits
  • §10 Conversões numéricasNumeric conversions
  • §12 Indexação de stringsString indexing
  • §12 Invariante UTF-8UTF-8 invariant

Também: um comentário de exemplo em §12 (io.seek) e a referência cruzada em §13 (Call limits). Identificadores nos exemplos foram anglicizados (portaport, nomename, etc.); nenhuma regra mudou, só o texto.

4. Slogan de concorrência no README

"Concurrency without data races by construction" passa a "Race-free by construction for what you pass": a garantia vale para dados passados por argumento ou canal; globais e ref (argumento, campo ou capturado por closure) seguem precisando de coordenação, e uma leitura concorrente através deles é indefinida. Isso alinha o README ao que docs/concurrency.md já descrevia. O site (docs/index.html) já usava a formulação restrita ("values passed by argument or channel are race-free by construction") e não foi alterado.

Refs #143

🤖 Generated with Claude Code

https://claude.ai/code/session_01UuhUZPYdMn2nHHa5yJn28h

…143, itens 3 e 4)

Traduz para o inglês as quatro subseções da spec que estavam em português
(Call limits, Numeric conversions, String indexing, UTF-8 invariant), um
comentário de exemplo em §12 e a referência cruzada em §13.

Reescreve o item de concorrência do README: a garantia "race-free by
construction" vale para o que é passado por argumento ou canal; globais e
ref (argumento, campo ou capturado por closure) seguem precisando de
coordenação, como docs/concurrency.md já descrevia.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01UuhUZPYdMn2nHHa5yJn28h
@estevaofon
estevaofon merged commit dbcc5b8 into develop Sep 6, 2026
7 checks passed
@estevaofon
estevaofon deleted the docs/issue-143-spec-english-concurrency-claim branch September 6, 2026 20:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant