ArkType
@arktype.io
TypeScript's 1:1 validator, optimized from editor to runtime ⛵
⭐http://github.com/arktypeio/arktype
👋http://arktype.io/discord
⭐http://github.com/arktypeio/arktype
👋http://arktype.io/discord
I'll take "meticulously typed regex features you probably didn't know existed" for $500
November 10, 2025 at 7:02 PM
I'll take "meticulously typed regex features you probably didn't know existed" for $500
in the latest version of arktype:
regex properties and index signatures from arkregex🔒
regex properties and index signatures from arkregex🔒
November 7, 2025 at 3:26 PM
in the latest version of arktype:
regex properties and index signatures from arkregex🔒
regex properties and index signatures from arkregex🔒
imagine using untyped regex in 2025
November 6, 2025 at 1:42 PM
imagine using untyped regex in 2025
arkregex is meant to be a zero-effort, drop-in replacement for new RegExp().
in the vast majority of cases, it makes your life easier.
for the rest, just don't use it👍
in the vast majority of cases, it makes your life easier.
for the rest, just don't use it👍
November 5, 2025 at 2:26 PM
arkregex is meant to be a zero-effort, drop-in replacement for new RegExp().
in the vast majority of cases, it makes your life easier.
for the rest, just don't use it👍
in the vast majority of cases, it makes your life easier.
for the rest, just don't use it👍
option 2: just use new RegExp() for those cases if you don't care about those types
November 5, 2025 at 2:26 PM
option 2: just use new RegExp() for those cases if you don't care about those types
we've been surprised by some of the real-world expressions it can handle, but you'll still hit the limits of typescript eventually, so what then?
November 5, 2025 at 2:26 PM
we've been surprised by some of the real-world expressions it can handle, but you'll still hit the limits of typescript eventually, so what then?
arkregex is ridiculously optimized.
even expressions like this are inferred instantly.
but what about the most extreme cases?🧵
even expressions like this are inferred instantly.
but what about the most extreme cases?🧵
November 5, 2025 at 2:26 PM
arkregex is ridiculously optimized.
even expressions like this are inferred instantly.
but what about the most extreme cases?🧵
even expressions like this are inferred instantly.
but what about the most extreme cases?🧵
new RegExp():
❌types
😴tired
arkregex:
✅types
🫨wired
❌types
😴tired
arkregex:
✅types
🫨wired
November 3, 2025 at 5:44 PM
new RegExp():
❌types
😴tired
arkregex:
✅types
🫨wired
❌types
😴tired
arkregex:
✅types
🫨wired
📢Introducing ArkRegex📢
a drop in replacement for new RegExp() with types ⬇️
a drop in replacement for new RegExp() with types ⬇️
October 28, 2025 at 4:38 PM
📢Introducing ArkRegex📢
a drop in replacement for new RegExp() with types ⬇️
a drop in replacement for new RegExp() with types ⬇️
new to typescript?
here's a handy little type for parsing regular expressions:
here's a handy little type for parsing regular expressions:
October 9, 2025 at 4:45 PM
new to typescript?
here's a handy little type for parsing regular expressions:
here's a handy little type for parsing regular expressions:
🙅convoluted regex
👍simple types
👍simple types
October 7, 2025 at 4:42 PM
🙅convoluted regex
👍simple types
👍simple types
the days of untyped regex are numbered
October 6, 2025 at 4:44 PM
the days of untyped regex are numbered
Ever get mixed up about unions and intersections?
ArkType has your back🫡
ArkType has your back🫡
September 24, 2025 at 4:20 PM
Ever get mixed up about unions and intersections?
ArkType has your back🫡
ArkType has your back🫡
"any sufficiently advanced typescript types are indistinguishable from magic" - Arthur C. Clark, 1962
September 23, 2025 at 4:10 PM
"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⛵❤️
Now there's a better way to get them with arkenv⛵❤️
September 22, 2025 at 4:24 PM
Like type-safe environment variables?
Now there's a better way to get them with arkenv⛵❤️
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
1️⃣ build a type-level benchmarking library
2️⃣ spend the prime of your life on cache optimizations
September 20, 2025 at 5:07 PM
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
1️⃣ build a type-level benchmarking library
2️⃣ spend the prime of your life on cache optimizations
attest can snapshot types, type errors and autocomplete results.
all from your existing unit tests📚🔗⬇️
all from your existing unit tests📚🔗⬇️
September 17, 2025 at 4:43 PM
attest can snapshot types, type errors and autocomplete results.
all from your existing unit tests📚🔗⬇️
all from your existing unit tests📚🔗⬇️
⚠️trade offer⚠️
i receive: JSON Schema
you receive: lightning-fast validation and clear errors
i receive: JSON Schema
you receive: lightning-fast validation and clear errors
September 16, 2025 at 4:55 PM
⚠️trade offer⚠️
i receive: JSON Schema
you receive: lightning-fast validation and clear errors
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
1️⃣ write typescript
2️⃣ use it in editor
3️⃣ use it at runtime
September 11, 2025 at 4:16 PM
How to use ArkType:
1️⃣ write typescript
2️⃣ use it in editor
3️⃣ use it at runtime
1️⃣ write typescript
2️⃣ use it in editor
3️⃣ use it at runtime
turns out having type syntax at runtime is pretty nice
September 10, 2025 at 4:32 PM
turns out having type syntax at runtime is pretty nice
1️⃣ start with a typescript keyword
2️⃣ .autocomplete the rest
2️⃣ .autocomplete the rest
September 9, 2025 at 4:50 PM
1️⃣ start with a typescript keyword
2️⃣ .autocomplete the rest
2️⃣ .autocomplete the rest
zod4 is 5x faster than zod3 for object validation.
arktype is 20x faster than zod4.
arktype is 20x faster than zod4.
September 8, 2025 at 4:33 PM
zod4 is 5x faster than zod3 for object validation.
arktype is 20x faster than zod4.
arktype is 20x faster than zod4.