Lightnews — Scholar-powered news

David Blass

@ssalbdivad.dev

1.3K followers 85 following 250 posts

Full-time open source dev and author of @arktype.io, TypeScript's 1:1 validator optimized from editor to runtime⛵ (http://github.com/arktypeio/arktype )🌱

github.com

Posts Media Videos Starter Packs

David Blass @ssalbdivad.dev · 18h

I don't know anything about atproto but the type-level string parsers I've worked on for @arktype.io's type syntax and the upcoming @ark/regex are very generalizable!

Also iirc @tylur.dev mentioned he was working on something related to this and Standard Schema?

1 2

Reposted by David Blass

ArkType @arktype.io · 18h

new to typescript?

here's a handy little type for parsing regular expressions:

1 4

Reposted by David Blass

ArkType @arktype.io · 1d

soon

2 1 6

Reposted by David Blass

ArkType @arktype.io · 2d

🙅convoluted regex
👍simple types

1 6

David Blass @ssalbdivad.dev · 2d

There will be an RFC for the proposal soon!

1 1

David Blass @ssalbdivad.dev · 3d

days of remaining sanity also numbered btw

ArkType @arktype.io · 3d

the days of untyped regex are numbered

Reposted by David Blass

ArkType @arktype.io · 15d

Ever get mixed up about unions and intersections?

ArkType has your back🫡

1 2 5

Reposted by David Blass

ArkType @arktype.io · 16d

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

1 12

Reposted by David Blass

ArkType @arktype.io · 17d

Like type-safe environment variables?

Now there's a better way to get them with arkenv⛵❤️

1 1 17

David Blass @ssalbdivad.dev · 19d

worth it

ArkType @arktype.io · 19d

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

David Blass @ssalbdivad.dev · 19d

Yes this was actually an idea @ahrjarrett.bsky.social and I were experimenting with for ArkType!

It is tremendously useful for testing a parsed syntax.

David Blass @ssalbdivad.dev · 21d

had an amazing time with @typescript.fm.

if you're interested in a deep-dive on typescript validation and @arktype.io, this is for you! 👇

TypeScript.fm @typescript.fm · 21d

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

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

2 7

Reposted by David Blass

ArkType @arktype.io · 22d

attest can snapshot types, type errors and autocomplete results.

all from your existing unit tests📚🔗⬇️

2 1 7

Reposted by David Blass

ArkType @arktype.io · 23d

⚠️trade offer⚠️

i receive: JSON Schema
you receive: lightning-fast validation and clear errors

2 1 16

Reposted by David Blass

ArkType @arktype.io · 28d

How to use ArkType:

1️⃣ write typescript
2️⃣ use it in editor
3️⃣ use it at runtime

2 1 3

David Blass @ssalbdivad.dev · 29d

This opens up so many doors.

Counting on the community to help find them🙏

ArkType @arktype.io · 29d

turns out having type syntax at runtime is pretty nice

1 1 5

David Blass @ssalbdivad.dev · Sep 9

it's just too easy

ArkType @arktype.io · Sep 9

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

David Blass @ssalbdivad.dev · Sep 9

Yes would love this! Probably much harder to build property-based testing support in to Standard Schema because there's no standard way to introspect the structure 😔

Reposted by David Blass

ArkType @arktype.io · Sep 8

zod4 is 5x faster than zod3 for object validation.

arktype is 20x faster than zod4.

1 1 10

David Blass @ssalbdivad.dev · Sep 7

JSON Schema:
Making illegal states representable since 2007

2 7

David Blass @ssalbdivad.dev · Sep 6

shoutout to @typescriptlang.org- still blown away that this works🤯

ArkType @arktype.io · Sep 6

typescript is crazy

David Blass @ssalbdivad.dev · Sep 6

Also what @typeholes.bsky.social mentioned about combinations of divisibility and ranges could be unsatisfiable, which we could actually check for by reducing them to a union of integers...🤔

David Blass @ssalbdivad.dev · Sep 6

It will only reject schemas that it can prove are unsatisfiable.

There actually are some solutions to this like regex intersections that are unsatisfiable but because the set-theoretic reductions aren't built for that, they're allowed.

David Blass @ssalbdivad.dev · Sep 6

i'm not generally considered a pragmatist but even i do not try to error at a type-level here 😅

Reposted by David Blass

ArkType @arktype.io · Sep 5

you deserve better type errors

1 6