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 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
Reposted by ArkType
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
share.transistor.fm/s/8f206643
#typescript
ArkType is TypeScript's 1:1 Validator | David Blass | Ep 35B | TypeScript.fm - The Friendly Show for TypeScript Developers | Episode 35
David Blass (@ssalbdivad.dev) teaches the two fools about ArkType and its 1:1 validator type system. If you, like us, thought ArkType was only about validation, think again! David pulls back the curtain...
share.transistor.fm
September 18, 2025 at 2:49 PM
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
share.transistor.fm/s/8f206643
#typescript
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.
Reposted by ArkType
JSON Schema:
Making illegal states representable since 2007
Making illegal states representable since 2007
September 7, 2025 at 6:19 PM
JSON Schema:
Making illegal states representable since 2007
Making illegal states representable since 2007
you deserve better type errors
September 5, 2025 at 4:52 PM
you deserve better type errors