Ecossistema e design

Referência rápida: as dezesseis áreas

A tabela final da referência Deep Tech, com o que existe em cada área, onde ele mora no código e a rota que o documenta.

A referência fecha com uma tabela de dezesseis áreas. Esta página é essa tabela resolvida: para cada área, o que existe, onde mora e onde está documentado.

Ela também é o índice de saída das 22 partes — se você chegou aqui procurando por um assunto, comece por esta tabela.

Linguagem e tipos#

Área	O que existe	Rota
Linguagem	81 palavras reservadas, 52 contextuais, 225 funções globais	referência
Tipos	alias, união, interseção, refinamento (`where`), opaco, genérico com limite	tipos nomeados
Coleções tipadas	`Cluster<T>`, `Vault<K,V>`, `Set<T>`, `Tuple<A,B>` — fronteira e inserção	genéricos
OOP	`record`, `blueprint`, `enum`, `trait`, contrato, invariante, metaclasse	OOP avançada
Falha como valor	`ok`/`falha`, `Talvez` para onde `void` é ambíguo	resultado

Memória, posse e concorrência#

Área	O que existe	Rota
Posse	dono exclusivo, empréstimo com escopo, contagem determinística, referência fraca	posse
Memória	arena, mapa fraco, controle e medição do coletor	coletor
Concorrência	mutex, semáforo, barreira, contador atômico, canal bloqueante, STM	STM
Mais de um núcleo	`P.map_processos`, pool que sobrevive entre chamadas — 3,45× em 10 núcleos	paralelismo
Runtime async	laço de eventos, escalonador, fibras, `async`/`await`	laço de eventos

Metaprogramação e FFI#

Área	O que existe	Rota
Metaprogramação	citar, transformar, gerar, derivar; a árvore como dado	macros
`comptime`	calcular na leitura, e falhar ali	comptime
DSL	combinadores para uma linguagem externa própria	DSL
FFI	biblioteca nativa, ponteiro cru, struct conferida contra a ABI, callback	FFI para C
Ponte Python	`adopt Python.numpy` — sem converter nada	ponte
ABI	a superfície como contrato, 11 regras, o bump que a mudança exige	superfície

Compilador, backend e hardware#

Área	O que existe	Rota
Compilador	lexer, parser, AST, HIR, MIR, LIR, dataflow	percurso
Backend	SSA com φ, SCCP, dobra de constante, ramo morto, fechamentos	backend
Hardware	o que se pode observar de dentro do CPython, e o que não	hardware
Build	`forge.toml`, Dockerfile, CI, k8s, Helm, SBOM, `doctor`	DevOps

Observabilidade e ecossistema#

Área	O que existe	Rota
Performance	percentis, cauda, flame graph em SVG, pausas do coletor, Mann-Whitney	perfil
Complexidade	`big-o` lê a árvore; `bench` mede a curva	complexidade
Tooling	LSP, depurador, DAP, formatador, linter, testes com cobertura, doc	ferramentas
Web	rodar em WASM pelo Pyodide; compilar para WASM não existe	WASM
Alvos	6 ambientes descritos, com o motivo de cada ausência	portabilidade
Partida	7 fases de inicialização, TLS, pilha, capacidade	partida
Ecossistema	41 componentes, conferidos contra o disco	componentes
Design	10 princípios medidos, 9 tensões	princípios

Onde começar, por objetivo#

O que não existe

5 componentes

A página mais útil para decidir se a linguagem serve ao seu caso.

As tensões

9 decisões

Onde dois princípios se contradizem, e qual venceu — com o custo.

Onde o tempo vai

10 fases

O percurso de um arquivo, medido fase por fase.

Partes 20, 21 e 22

o mapa

Item por item: o que virou código, o que virou página, o que não existe.