ArkType

ArkType is a runtime validation library for TypeScript that uses a syntax-first approach—definitions look exactly like TypeScript code. Unlike builder-pattern libraries (Zod, Yup), ArkType JIT-compiles schemas into optimized validators, achieving 10x-100x performance improvements.

Core Principles

• •Write TypeScript syntax, not builder chains - "string >= 8" instead of .string().min(8)
• •Zero drift between static and runtime types - Automatic type inference from definitions
• •JIT compilation for performance - Schemas compile to optimized JavaScript functions
• •Native recursion support - Use Scopes for circular references without lazy() wrappers
• •Transform during validation - Morphs allow data transformation in the validation pipeline
• •Standard Schema compliant - Works with React Hook Form, TanStack Query, tRPC, and other modern libraries
• •Type-level performance matters - Track both runtime speed AND TypeScript compiler instantiations
• •String definitions for simple types - Use type("string") for primitives
• •Object definitions for structures - Use type({ name: "string" }) for objects
• •Scopes for complex models - Use scope({ ... }) for interconnected types

Quick Reference

Basic Validation

import { type } from "arktype"

// Simple types
const email = type("string.email")
const age = type("number >= 18")
const tags = type("string[]")

// Object schemas
const user = type({
    name: "string",
    age: "number >= 18",
    "email?": "string.email",  // Optional field
    tags: "string[]"
})

// Validation
const { data, errors } = user({
    name: "Alice",
    age: 25,
    tags: ["typescript"]
})

if (errors) {
    console.error(errors.summary)
} else {
    console.log(data.name) // Fully typed
}

Type Inference

// Infer TypeScript type from ArkType definition
const userSchema = type({ name: "string", age: "number" })
type User = typeof userSchema.infer
// User = { name: string; age: number }

Topics

Core Concepts

• •Scopes and Recursion - Circular references and interconnected types
• •Generics - Type functions for reusable schemas (e.g., Paginated<T>)
• •Morphs - Transform data during validation (string to Date, trimming, etc.)
• •Pattern Matching - Type-safe switch statements with .match()

Advanced Features

• •Constraints and Intersections - Ranges, regex, divisors, and type combinations
• •Custom Error Messages - Configure errors at global, scope, or type level
• •Framework Integration - Hono, Fastify, and Standard Schema usage

Performance and Migration

• •Benchmarking - Runtime and type-level performance testing with @ark/attest
• •Migrating from Zod - Syntax comparison and migration patterns

Common Patterns

Discriminated Unions (Automatic)

// ArkType detects discriminants automatically
const response = type([
    { status: "'success'", data: "string" },
    "|",
    { status: "'error'", message: "string" }
])

Constraints with Intersection

// Email from specific domain
const staffEmail = type("string.email & /.*@company.com/")

// Even numbers under 100
const evenUnder100 = type("number % 2 & < 100")

Data Transformation

// Convert string to Date during validation
const dateSchema = type("string").morph((s) => new Date(s))

// Sanitize user input
const username = type("string > 0").morph(s => s.trim().toLowerCase())

ArkType vs Zod

When to Use ArkType

• •High-throughput APIs - Performance critical validation (10k+ items)
• •Complex domain models - Recursive data structures (folder trees, graphs)
• •TypeScript-first teams - Prefer type syntax over builder patterns
• •Standard Schema adoption - Need library compatibility
• •Type-level optimization - Avoid "excessively deep instantiation" errors

Resources

• •Official Docs
• •GitHub
• •Benchmarks
• •Standard Schema