Fundamentos

Tipos opcionais em variáveis, parâmetros e retorno — verificados em execução e por análise estática.

Dados imutáveis com igualdade estrutural, valores padrão, métodos e o operador with.

Conjuntos fechados de valores nomeados, com valores associados e integração com match.

match estrutural: literais, tipos, sequências, records, vaults, enums, alternativas e guardas.

Extrair vários valores de uma vez, por posição ou por nome.

O operador ... expandindo coleções e coletando o que sobra.

Construir listas e vaults numa expressão, transformando e filtrando.

Strings com $ que embutem expressões, e como formatar saída legível.

stream action e emit: sequências produzidas sob demanda, inclusive infinitas.

Ações como valores: alta ordem, closures, lambdas e composição.

mark @nome — envolver uma ação sem alterar seu corpo.

Embrulhar e anotar — e o que os metadados permitem construir.

Contratos de interface compostos com with.

Uma estrutura que serve para qualquer tipo.

Como os nomes são resolvidos, e o que shadow faz.

adopt, relay, imports seletivos e detecção de ciclos.

O tipo Set: o literal {1, 2}, set(xs), a compreensão, as operações — e por que um Cluster não entra nele.

Integer, Float e Decimal — a divisão, o arredondamento, e o 0,1 + 0,2.

void, o que é verdadeiro, ?? e ?. — e por que 'não sei' não é zero.

int, float, str, cast e typeof — e o que acontece quando o valor não converte.

is compara pelo valor, por estrutura — e as três formas de comparar coleções e objetos.

steady, record, freeze e tupla — o que muda, o que não muda, e por que isso importa.

Fatiar, procurar, trocar, dividir, juntar e formatar — e o texto de várias linhas.

Passar uma ação para outra, devolver uma ação, lambda — e o pipeline como a forma idiomática.

Uma ação que chama a si mesma, o caso base, o teto de mil quadros — e as duas saídas.

O mapa: tipos internos, anotações, coleções tipadas, tipos nomeados, generics, indexados, opacos e traits — e o que cada camada garante.

type e opaque type: alias, união, interseção, refinamento e tipo opaco — o que cada um promete, quem confere e quando o analisador cala.

(1, \

A falha como valor: ok/falha com mapear, entao e recuperar; e Talvez para onde void é ambíguo — as três formas de lidar com o que dá errado.

Arcane.Tipos: os metadados de um type declarado, conferir sem levantar, a forma estrutural de um valor e os campos de um record com o tipo de cada um.

Item por item das partes 1 e 2 da referência Deep Tech, cruzado com o DataForge: o que existe e onde está, o que tem outro nome, e o que não existe por decisão.

<T> e <T extends X> em ação, blueprint, record, enum e trait: o que o parâmetro documenta, o que o limite cobra, e onde o argumento chega ao conteúdo.

Traits com implementação padrão, herança entre traits, tipos e constantes associados, interseção, despacho dinâmico e o que a linguagem cobra de quem implementa.