1. O que é e para que serve

ArkType é uma biblioteca moderna para validação de dados em TypeScript que opera no nível de tipos. Diferente de validadores tradicionais (Zod, Yup), a ArkType usa uma abordagem única: ela converte definições de tipos em parsers e validadores otimizados durante a compilação. Isso permite alta performance e integração total com o sistema de tipos do TypeScript.

Para que serve a ArkType? Em aplicações web modernas, os dados frequentemente vêm de fontes externas: APIs, formulários, localStorage, WebSocket. Sem validação, você corre o risco de erros em tempo de execução difíceis de detectar. A ArkType resolve esse problema fornecendo uma forma declarativa de descrever schemas de dados e gerando automaticamente tipos TypeScript a partir desses schemas. A biblioteca é especialmente útil ao trabalhar com REST API, GraphQL, formulários e quaisquer dados externos.

A principal vantagem da ArkType é a velocidade. Graças à compilação estática de schemas, a validação é de 10 a 100 vezes mais rápida que as alternativas. Além disso, a ArkType suporta tipos recursivos, referências cíclicas, validações rigorosas e diversos tipos embutidos. Isso a torna a escolha ideal para aplicações de alta carga e microsserviços.

2. Instalação

A instalação da ArkType é feita através do gerenciador de pacotes npm (ou yarn/pnpm). A biblioteca é escrita em TypeScript e vem com suporte total a tipos.

npm install arktype

Para usar com TypeScript, nenhuma configuração adicional é necessária — a biblioteca detecta automaticamente as configurações do tsconfig.json. A versão mínima do TypeScript é a 5.0.

# Se estiver usando yarn
yarn add arktype

# Se estiver usando pnpm
pnpm add arktype

3. Primeiros passos

Um exemplo mínimo de uso da ArkType é criar um schema para validar um objeto de usuário:

import { type } from 'arktype';

// Define o schema
const User = type({
    name: 'string',
    age: 'number',
    email: 'string.email'
});

// Valida os dados
const result = User({
    name: 'João',
    age: 25,
    email: 'joao@exemplo.com'
});

if (result instanceof type.errors) {
    console.error('Erro de validação:', result.summary);
} else {
    console.log('Dados válidos:', result);
    // result tem automaticamente o tipo { name: string; age: number; email: string }
}

Neste exemplo, criamos um schema User que valida três campos. Se os dados não passarem na validação, um objeto de erro com descrição detalhada é retornado. Se tudo estiver ok, os dados tipificados são retornados.

4. Métodos e funções principais

A ArkType oferece uma API rica para criar schemas, combiná-los e transformá-los. Vejamos 8 métodos essenciais.

4.1. type() — criação de schema

Assinatura: type(schema: TypeSchema): Type

Descrição: Método principal para criar um schema de validação. Aceita um objeto ou string com a definição do tipo.

import { type } from 'arktype';

// Schema simples
const StringType = type('string');
const NumberType = type('number');

// Schema de objeto
const Person = type({
    name: 'string',
    age: 'number',
    isActive: 'boolean'
});

// Validação
console.log(StringType('olá')); // 'olá'
console.log(StringType(123)); // Erro: Expected string, got number

4.2. .array() — array de elementos

Assinatura: type.array(): Type

Descrição: Cria um schema para um array de elementos de