ArkType

ArkType Discord TypeScript's 1:1 validator, optimized from editor to runtime

📈ArkType's Discord community is growing fast and just surpassed 750 members!📈

Have questions? Want to stay up to date?

It's a great time to join!
arktype.io/discord

ArkType Playground TypeScript's 1:1 validator, optimized from editor to runtime

Not convinced?

Try the end-to-end DX yourself in-browser:

arktype.io/playground

Why does ArkType use "strings" over .chaining()?

✅Inferred 1:1 so you hover less
✅Easily serialized
✅Concise (~30-50% shorter than Zod)
✅Typos === type errors

ArkType Docs TypeScript's 1:1 validator, optimized from editor to runtime

Docs: arktype.io/docs/objects#properties-index
GitHub: github.com/arktypeio/arktype
Discord: arktype.io/discord

index signatures? more like *fun*dex signatures👍

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

Silence them by switching to a 21st-century TypeScript schema validator today:

GitHub: github.com/arktypeio/arktype
Discord: arktype.io/discord
Docs: arktype.io

📈ArkType just surpassed 1M downloads/month📈

If you *still* haven't tried it, your friends are now laughing behind your back (statistically speaking).

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

GitHub: github.com/arktypeio/arktype
Discord: arktype.io/discord
Docs: arktype.io

And autocomplete for your properties.

With great type errors for mismatches.

Need runtime validation for your existing types?

ArkType's `declare` API gives you just that.

@ark/attest is the only assertion library that can snapshot TypeScript autocomplete results 📷

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

GitHub: github.com/arktypeio/arktype
Discord: arktype.io/discord
Docs: arktype.io/docs/primitives#number-ranges

Restrict the size of numbers, strings and arrays with expressive, type-safe syntax.

"don't worry babe. with Standard Schema, developers won't have to choose"

two possibilities:

🅰️ your typescript strings have native-quality autocomplete
🅱️ skill issue

This is what I'd recommend for that scenario.

Sponsor @arktypeio on GitHub Sponsors ArkType is a type-safe runtime validator that understands TypeScript syntax. Each character you type is statically parsed so you'll know exactly what to expect from editor to runtime.

If you are a fellow GIGACHAD in a financial position to pitch in, even a small contribution makes a huge difference for a full-time open source dev🫡

github.com/sponsors/arktypeio

MASSIVE shout out to @jdegoes.bsky.social for his incredibly generous support of @arktype.io.

An absolute legend and one of the best speakers I've ever heard🙇

Love great error messages but hate writing them?

Out of the box, @arktype.io errors are...

1️⃣clear and concise
2️⃣readable for developers and end users
3️⃣deeply customizable to your needs

ArkType Playground TypeScript's 1:1 validator, optimized from editor to runtime

Try it yourself in-browser:

arktype.io/playground

How is ArkType's autocomplete so fast and accurate?

✅100+ type-level benchmarks
✅1k+ type-level unit tests

ArkType Playground TypeScript's 1:1 validator, optimized from editor to runtime

All of ArkType's type-level error messages are like this!

The new playground is a neat in-browser environment to mess around with it if you're interested:

arktype.io/playground

Default values for generic parameters · Issue #1054 · arktypeio/arktype Would allow parsing the equivalent syntax from TS: const array = type("<t = unknown>", "t[]"); // unknown[] const a = array(); // string[] const b = array("string"); const types = scope({ "array<t ...

It's not currently for arrays because `Array` is supported as a standalone keyword for `unknown[]` so we can't support `Array<T>` without a breaking change until we implement default values for generics.

Other generic instantiations like `Record<K, V>` are supported.

github.com/arktypeio/ar...

bUt sTriNgs CaNt bE TypEsAfe

ArkType Discord TypeScript's 1:1 validator, optimized from editor to runtime

If you have questions while ramping up, we have answers!

arktype.io/discord

Zod is a great library.

It is not realistic to be as proficient with a new validator on your first day using it, even with good docs and an intuitive API.

That doesn't mean there aren't significant benefits.

If you can type it with TypeScript, you can validate it with @arktype.io 🤝

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

GitHub: github.com/arktypeio/arktype
Discord: arktype.io/discord
Docs: arktype.io

TypeScript + runtime = ArkType