ArkType's Avatar

ArkType

@arktype.io

TypeScript's 1:1 validator, optimized from editor to runtime β›΅ ⭐http://github.com/arktypeio/arktype πŸ‘‹http://arktype.io/discord

577
Followers
3
Following
354
Posts
31.10.2024
Joined
Posts Following

Latest posts by ArkType @arktype.io

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

Full announcement: arktype.io/docs/blog/2.2

I couldn't be more hyped to see what you do with it.

⚑ arktype.io/docs/intro/setup
⭐ github.com/arktypeio/arktype
πŸ‘‹ arktype.io/discord

If you want to support this work: github.com/sponsors/arktypeio

04.03.2026 19:40 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

@ark/json-schema β€” Bidirectional JSON Schema

Parse JSON Schema into ArkType Types, and convert Types to JSON Schema. Huge thanks to @TizzySaurus
for building this one.

toJsonSchema() now supports configurable fallbacks, draft-07/2020-12 targets, and cyclic types.

04.03.2026 19:40 πŸ‘ 2 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0
Post image

Standard Schema validators can now be embedded directly in ArkType definitions.

Zod, Valibot, or anything else that implements the spec.

04.03.2026 19:40 πŸ‘ 5 πŸ” 0 πŸ’¬ 2 πŸ“Œ 0
Post image

Type-safe regex via arkregex

Regex literals in your definitions now carry full type inference. x-prefix parses capture groups at runtime.

04.03.2026 19:40 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Post image

type.fn

Define runtime-validated functions using the same syntax you already know.

Defaults, optionals, variadics- it all works.

04.03.2026 19:40 πŸ‘ 1 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Post image

πŸ“’ArkType 2.2 is here.

This is a big one, and it's long overdue.

Validated functions, type-safe regex, bidirectional JSON Schema, and universal schema interop.

Here's what's new 🧡

04.03.2026 19:40 πŸ‘ 33 πŸ” 2 πŸ’¬ 1 πŸ“Œ 0

strategy is summarized here:

x.com/ssalbdivad/s...

23.12.2025 19:16 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Preview
ArkType Playground TypeScript's 1:1 validator, optimized from editor to runtime

πŸ› playground: arktype.io/playground
πŸ“š docs: arktype.io
πŸ‘‹ discord: arktype.io/discord
⭐ github: github.com/arktypeio/arktype

22.12.2025 19:06 πŸ‘ 3 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Video thumbnail

all you need to "learn" ArkType syntax:

1️⃣ start with a typescript keyword
2️⃣ .autocomplete to discover constraints
3️⃣ compose if needed with &, |, etc.

22.12.2025 19:06 πŸ‘ 20 πŸ” 1 πŸ’¬ 2 πŸ“Œ 0

Yeah unfortunately without build-time transforms (which come with their own limitations), this is probably about as close as you will get to TypeScript at runtime.

18.12.2025 22:09 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0
Post image

tools are just introspectable functions...

what if you could define them like this?πŸ€”

18.12.2025 17:19 πŸ‘ 9 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0

πŸ“š match docs: arktype.io/docs/match
πŸ‘‹ discord: arktype.io/discord
⭐ github: github.com/arktypeio/ar...

17.12.2025 17:34 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

wish TS had rust-style pattern matching?

(it already does)πŸͺ„

17.12.2025 17:34 πŸ‘ 22 πŸ” 1 πŸ’¬ 2 πŸ“Œ 1
Preview
Standard JSON Schema A standardized JSON Schema representation that preserves inferred type information

read the full announcement:

standardschema.dev/json-schema

16.12.2025 19:57 πŸ‘ 8 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0
Post image

🚨Standard JSON Schema v1 just dropped🚨

🟒libraries can now accept ArkType wherever they need JSON Schema
🟒100% type-safe with inference built-in
🟒day one support from AI SDK
🟒TanStack AI and MCP SDK support imminent

16.12.2025 19:56 πŸ‘ 34 πŸ” 3 πŸ’¬ 3 πŸ“Œ 1
Post image

πŸŽ‰Announcing Standard JSON SchemaπŸŽ‰

The next spec in the Standard Schema family is here to bring library-agnostic JSON Schema to TS.

Let's make sure everyone sees itπŸ”

16.12.2025 19:08 πŸ‘ 20 πŸ” 1 πŸ’¬ 1 πŸ“Œ 0
Post image

Introducing ✨ Standard JSON Schema ✨

It's a sister spec to Standard Schema that provides a common interface for any entity that can be converted to JSON Schema

15.12.2025 23:28 πŸ‘ 68 πŸ” 6 πŸ’¬ 2 πŸ“Œ 4
Post image

mission accomplished @mattpocock.com

11.12.2025 18:10 πŸ‘ 11 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

BETRAYAL

10.12.2025 17:40 πŸ‘ 12 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

πŸ“š docs: arktype.io
πŸ‘‹ discord: arktype.io/discord
⭐ github: github.com/arktypeio/arktype

09.12.2025 18:24 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

"bUt StRiNgS aReN'T tYpE sAfE"

09.12.2025 18:24 πŸ‘ 3 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

πŸ“š docs: arktype.io
πŸ‘‹ discord: arktype.io/discord
⭐ github: github.com/arktypeio/arktype

08.12.2025 18:57 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

95% of ArkType syntax is just TypeScript.

The other 5% are extensions like this that are...

βœ…composable
βœ…consistent across data types
βœ…100% safe with helpful type-level error messages

08.12.2025 18:57 πŸ‘ 16 πŸ” 1 πŸ’¬ 1 πŸ“Œ 1

πŸ“š docs: arktype.io
πŸ‘‹ discord: arktype.io/discord
⭐ github: github.com/arktypeio/arktype

05.12.2025 17:22 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

once you go type("string") you never go z.back()

05.12.2025 17:22 πŸ‘ 16 πŸ” 2 πŸ’¬ 1 πŸ“Œ 0

Yeah we considered that syntax but it was cleaner to separate them since it won't always be a string definition that goes there (could be a reference to another type) so for now it just makes it easier to always think about spreading the same way.

04.12.2025 21:52 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

πŸ“š docs: arktype.io/docs/blog/arkregex
πŸ‘‹ discord: arktype.io/discord
⭐ github: github.com/arktypeio/arktype

02.12.2025 17:51 πŸ‘ 2 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

Difficulty of Parsing Regex with TypeScript Types
------------------------------------------------------------

group associativity β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’β–’
everything else β–’β–’

02.12.2025 17:51 πŸ‘ 6 πŸ” 0 πŸ’¬ 2 πŸ“Œ 1

πŸ“š docs: arktype.io
πŸ‘‹ discord: arktype.io/discord
⭐ github: github.com/arktypeio/arktype

01.12.2025 18:40 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0
Post image

In the next version of ArkType, any Standard Schema is a valid definition.

Zod migration is about to get a whole lot easierπŸš€

01.12.2025 18:39 πŸ‘ 38 πŸ” 5 πŸ’¬ 3 πŸ“Œ 0