Documentação do Clause
Notas de referência breves sobre a implementação atual. Cada ficheiro descreve o
comportamento e os limites que existem hoje; os planos e o histórico dos passos
encontram-se em .agents/.
| Tema | Documento |
|---|---|
Pré-processamento (comportamento do epp, inclusões, macros, funcionalidades) | preprocessor.md |
| Análise sintática, posse da AST, limites da sintaxe | parser.md |
| Projetos TOML e seleção de alvos | projects.md |
| CLI do compilador, artefactos, SDK do LLVM, exemplo | compile.md |
| Ponto de entrada do executável, argumentos, estado de saída, fluxos de saída, ligação | executables.md |
| Análise semântica, tipos, inferência, vinculações | semantic.md |
| Política de especialização de tipos | specialization.md |
| ABI do código gerado: termos, símbolos, registo, falhas, raízes | abi.md |
| Padrões, cláusulas e correspondências no corpo | patterns.md |
| Guards e o catálogo de BIFs de guard | guards.md |
| Representações de termos (átomos, números, contentores, maps, bits, records) e impressão | terms.md |
| Records nativos, qualificados e anónimos (OTP 29) | native-records.md |
Valores de função: fun F/A, fun M:F/A, chamadas de funs | funs.md |
| Builtins de produção: catálogo, chamadas de ponte, funs builtin, registo | builtins.md |
Módulos de biblioteca (subconjuntos de lists, maps) compilados com os programas | library.md |
Saída na consola: io:format/1,2, io:put_chars/1, disposição de ~p | io.md |
| Ciclo de vida do runtime, memória, saída padrão, servidor de código, contabilidade do escalonador | runtime.md |
Processos: workers do escalonador, fatias de tempo, spawn/1,3, is_process_alive/1, ligações, sinais de saída, monitores, nomes registados | processes.md |
| Portas: identidade, tabela de portas, drivers, modos de dados, a thread de E/S, E/S padrão, ficheiros e sockets (decisão do plan step 57A) | ports.md |
| Contrato do heap do processo: disposição das palavras, áreas, admissão, raízes, recolha | runtime-heap.md |
| Decisão sobre o modelo de execução: frames, chamadas, chamadas de cauda, cedência, exceções | execution-model.md |
Relato de funcionalidades adiadas (notimpl) | features.md |
| Fixação da referência ao código-fonte do OTP e procedimento de atualização | otp-reference.md |
| Diferenças de comportamento conhecidas em relação ao Erlang/OTP | differences.md |
| Base de validação, modos de teste, lacunas por plataforma, histórico | validation.md |
Os registos de validação anteriores, por passo, e o JSON de evidências foram
condensados no histórico de validação; os originais
completos permanecem no histórico do Git (presentes pela última vez no commit
2777c98).
Clause