imagine using untyped regex in 2025

arkregex is ridiculously optimized. even expressions like this are inferred instantly. but what about the most extreme cases?🧵

new RegExp(): ❌types 😴tired arkregex: ✅types 🫨wired

tHaNkS fOR 7k⭐

📢Introducing ArkRegex📢 a drop in replacement for new RegExp() with types ⬇️

new to typescript? here's a handy little type for parsing regular expressions:

soon

🙅convoluted regex 👍simple types

the days of untyped regex are numbered

Ever get mixed up about unions and intersections? ArkType has your back🫡

"any sufficiently advanced typescript types are indistinguishable from magic" - Arthur C. Clark, 1962

Like type-safe environment variables? Now there's a better way to get them with arkenv⛵❤️

our two-step process for fast typescript types: 1️⃣ build a type-level benchmarking library 2️⃣ spend the prime of your life on cache optimizations

Today on the pod, learn how ArkType's 1:1 validator provides soundness guarantees beyond vanilla TypeScript, with type-level parsing & JIT optimization! share.transistor.fm/s/8f206643 #typescript

attest can snapshot types, type errors and autocomplete results. all from your existing unit tests📚🔗⬇️

⚠️trade offer⚠️ i receive: JSON Schema you receive: lightning-fast validation and clear errors

How to use ArkType: 1️⃣ write typescript 2️⃣ use it in editor 3️⃣ use it at runtime

turns out having type syntax at runtime is pretty nice

1️⃣ start with a typescript keyword 2️⃣ .autocomplete the rest

zod4 is 5x faster than zod3 for object validation. arktype is 20x faster than zod4.

JSON Schema: Making illegal states representable since 2007

typescript is crazy

you deserve better type errors

challenge: create an unsatisfiable arktype schema difficulty: mathematically impossible

you haven't lived until you've seen autocomplete for "string | n" try it in-browser 🛝🔗👇

🌶️hover clarity is a huge part of typescript dx

1️⃣ type.validate 2️⃣ type.infer all your API needs to accept an ArkType definition with autocomplete, type-level errors and inference.

ArkType can granularly configure 11 non-JSON-schemafiable constraints... or just do this and say "f*** it, we ball"😎

ArkType's `.toJsonSchema()`... ✅exists on every Type ✅great defaults ✅granularly configurable

want to add your own keywords to arktype? you don't need a feature request- you need a scope🧑‍🍳

love to see it. writing complex types without @ark/attest is like running benchmarks with an hourglass⌛

Wish TypeScript could error on extra properties? So do we. Here's how you can do it in ArkType 🧵

1️⃣s-tier DX 2️⃣ridiculous tsserver perf 3️⃣insanely fast runtime validation 4️⃣great documentation 5️⃣power features (generics and HKTs) 6️⃣deep introspectability 7️⃣serializable definitions 8️⃣human-readable errors 9️⃣universal composability 🔟easy to learn Choose 10.

Extracting keys in ArkType🔑

@arktype.io schemas 👉👈 JSON-serializable TypeScript

z.z.z.z.z.z.z.z.z.z💤

All of ArkType boils down to a single question- how close can we get to TypeScript at runtime?🔬

gonna be golden✨

cleanest defaults you've ever seen or your money back💰

Meet .map(), ArkType's most powerful API for deriving schemas. Transform keys, values and more with a single call.

📈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

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

index signatures? more like *fun*dex signatures👍

📈ArkType just surpassed 1M downloads/month📈 If you *still* haven't tried it, your friends are now laughing behind your back (statistically speaking).

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 📷

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

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🙇