ArkType @arktypeio Twitter profile | Pikagi

Pikagi

ArkType

@arktypeio

1,067

Followers

2

Following

87

Media

244

Statuses

TypeScript's 1:1 validator, optimized from editor to runtime ⛵ ⭐ 👋

https://t.co/2BjxeXCykW

Joined September 2022

Don't wanna be here? Send us removal request.

Pinned Tweet

@arktypeio

ArkType

1 year

Most validators use chained().methods(). Why "strings"? ✅Inferred 1:1 so you hover less ✅Easily serialized ✅Concise (about half the length of equivalent Zod on average) ✅Typos === type errors Not convinced? Try it yourself, then let us know why!

Tweet media one

0

4

31

Last Seen Profiles

@MakenziePolkas

@abrahamdormis

@al_mustizz

@SthOxonCitizen

@AmeritonFreight

@nasuyuko

@__SeriousGemini

@PrimaryCareMcr

@momon3251327679

@espn

@Wiki_Gap

@rigatoni33

@imagilmoreegirl

@SAFCFoL

@Savage_Vandross

@MOTDmag

@Benzinga

@thebakerst12

@ColeHamels

@BOSGAMING_DE

@theGirlYouWint

@BRWMcMillan

@Karbonicc

@kemiobafemi_

@cigzzf

@VolumeAlertBot

@realtek247

@sagovau

@left_voice

@sujatatibre

@Propeertys

@esportpomaga

@Labillustration

@chiyo7777412690

@out_parlamento

@DYRSDC

@arktypeio

ArkType

6 months

As TypeScript developers, we rely on our types to know our code will work. But as our types become complex, how do we know they work? Unfortunately, existing type testing tools are limited by static analysis- until now. Introducing @arktype /attest🎉

9

24

219

@arktypeio

ArkType

1 year

What if instead of hitting instantiation limits on cyclic types, your validator could pass them to optimized, type-safe generics? Everything you've been told about the limitations of TypeScript is a lie- you just have to be willing to think a bit of outside the box0️⃣1️⃣📦

Tweet media one

4

11

85

@arktypeio

ArkType

4 months

🔥 @t3dotgg 's video on @arktype /attest is an amazing intro to type benchmarking- what it is, when you'd use it and who it's important for. If you haven't already seen it, you're missing out: Video: GitHub:

Tweet card media

(Actually) Benchmarking TypeScript

ArkType's been up to some cool stuff for awhile, but attest takes it to a whole new level.Announcement tweet: https://twitter.com/arktypeio/status/1722640689...

www.youtube.com

@t3dotgg

Theo - t3.gg

4 months

It's finally possible to benchmark your TypeScript code thanks to @arktypeio and I HAD to make video about it

Tweet media one

5

27

325

0

9

75

@arktypeio

ArkType

4 months

Based on his reaction I guess @ThePrimeagen doesn't like our parallel parser implementation. If he has a better pattern for maintaining identical static and runtime behavior, we're all ears👂 Then again, maybe nuance is more a @t3dotgg vibe...

Tweet media one

@ThePrimeagen

ThePrimeagen

4 months

@spikebrehm genuinely terrible decision and awful there even appears to be mutating code within the ternaries. this code is so bad i would give someone a severe talking to if i saw this committed

4

0

20

4

1

65

@arktypeio

ArkType

3 months

@t3dotgg TypeScript library authors now officially have a moral obligation to benchmark their types @arktypeio /attest. The fate of the planet could depend on it🌍

Tweet card media

(Actually) Benchmarking TypeScript

ArkType's been up to some cool stuff for awhile, but attest takes it to a whole new level.Announcement tweet: https://twitter.com/arktypeio/status/1722640689...

www.youtube.com

2

2

55

@arktypeio

ArkType

4 months

Made it to 3k ⭐📈 Special shout out to @t3dotgg - his excellent video on @arktype /attest put us over the edge (🔗⬇️)! This year, our resolution is to make the foundational improvements we've worked on in 2023 accessible to as many as possible with a stable API and better docs.

Tweet media one

1

3

51

@arktypeio

ArkType

11 months

A lot of people assume ArkType's static parser will crash their language server. After all, large Zod schemas already feel sluggish, and having to validate and infer TypeScript syntax should be much more complex, right? Turns out, not so much🤷

Tweet media one

1

4

39

@arktypeio

ArkType

11 months

Shout out to @AndaristRake for his tireless work to improve @typescript . His latest merged PR allows ArkType to autocomplete expressions in shallow string definitions🔥

Tweet media one

4

4

38

@arktypeio

ArkType

11 months

@ThePrimeagen Did we do it? Or needs more JSDonk?

Tweet media one

2

2

33

@arktypeio

ArkType

1 year

ArkType is a new type-safe validator for @typescript like nothing you've ever seen. It scales from simple types like type({ name: "string", scores: "number[]" }) to cyclic scopes with 100s of types, all parsed, validated and inferred instantly at a type-level🤯🔥

2

5

30

@arktypeio

ArkType

1 year

The next generation of TS validation is here, and the DX is like nothing you've ever seen. Check out our current and upcoming syntax on GitHub: ⭐

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

0

2

31

@arktypeio

ArkType

6 months

I know a lot of you have expressed interest in these tools over the last few months, so please, `npm install @arktype /attest` and give them a try- this is just the beginning🔥 CC @mattpocockuk @danielcroe @trashh_dev @aleksandrasays @AndaristRake @MichaelArnaldi @awkweb

5

0

25

@arktypeio

ArkType

2 months

If your types are slow, here a couple things to look at before blaming @typescript : 1. Libraries like Zod or tRPC often have great DX for small examples but scale poorly 2. Benchmarks using @arktype /attest. You can't optimize what you can't measure:

@DrawsMiguel

mcyoung 🏳️‍🌈

2 months

ok so like, what is the time complexity of typescript type inference? did they fuck up and make it cubic or something? or is the fact that they wrote their checker in typescript literally the only reason it's slow

11

7

156

1

4

25

@arktypeio

ArkType

7 months

2.5k stars⭐📈 Can't wait to see what this looks like after beta 🔜™️ GitHub: Discord:

Tweet media one

3

1

25

@arktypeio

ArkType

7 months

Have you tried ArkType's @code extension? Without it, the DX is better than any other validator. With it, the DX is often better than native types🤯 ✅Better completions ✅Better error messages ✅Better safety All from within the type system. Link in comments⬇️

1

1

25

@arktypeio

ArkType

6 months

Up to 2.7k over the last two weeks⭐📈 Thanks for all the love and support. We've finished the beta API. As soon as the test pass, we'll have a dev-build up to try. Comment if you're interested in trying it out before the official release ⛵🔜

Tweet media one

@arktypeio

ArkType

7 months

2.5k stars⭐📈 Can't wait to see what this looks like after beta 🔜™️ GitHub: Discord:

Tweet media one

3

1

25

0

1

24

@arktypeio

ArkType

5 months

Announcing @arktype /attest 0.2🎊 Working on optimizing your DX? Our new completions API has got you covered. Any string literals within in your attest() call will be snapshotted by the language server✨ Try it out from any test runner:

1

2

24

@arktypeio

ArkType

10 months

@mattpocockuk We may fall a bit short in terms of longevity, but we've got big aspirations and a type safe, runtime-enforceable syntax that works in JS with no plugins or compilation steps🤯 Could this be the .js redemption Ark?⛵

1

2

24

@arktypeio

ArkType

6 months

This alpha version also includes type-level benchmarking, so you can understand exactly how each change affects the performance of your types. There's still a lot to be done, but we want to get the tools we used to build ArkType in the hands of other library authors ASAP.

Tweet media one

2

2

23

@arktypeio

ArkType

7 months

@FabianHiller @zodtypes @mhevery @RyanCarniato Read the thesis- this is great work! 💯 Very fair and accurate analysis of trade-offs. Excited to share our finished beta version soon and see if we can improve in some of these categories 😊

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

1

1

24

@arktypeio

ArkType

5 months

📢Have you ever wished @typescript had robust, type-safe mixins? Introducing Traits from @arktype /utils🎊 We did a lot of work on the inference and runtime behavior to get it just right- now we're looking for external feedback! Let us know your thoughts⬇️

Tweet media one

0

3

24

@arktypeio

ArkType

1 year

@typescript Putting those type perf improvements to good use 🔥 GitHub:

0

2

22

@arktypeio

ArkType

3 months

In addition to those built-in to TypeScript, ArkType has a set of keywords for runtime validation that are available by default. 100% type safe, autocompleted, and inferred 1:1- no plugins or extensions required🧹

Tweet media one

@tomasz_ducin

Tomasz Ducin

3 months

#zod .dev - can be more precise than #typescript when validating values in runtime. ✅ #typescript _theoretically_ can validate certain string values and patterns 😞 but it's rather complex and CPU-expensive for the compiler ✅ zod just runs simple RUNTIME checks 🥳

Tweet media one

0

0

10

1

2

22

@arktypeio

ArkType

3 months

explicit over implicit💪

Tweet media one

@trashh_dev

trash

3 months

this triggers me

Tweet media one

58

14

708

1

5

21

@arktypeio

ArkType

2 months

Should we port ArkType to Lua or just let him suffer?

Tweet media one

@ThePrimeagen

ThePrimeagen

2 months

maybe i am too bought into this program with asserts

Tweet media one

41

4

300

3

1

21

@arktypeio

ArkType

3 months

Great autocomplete is a big part of why people love TypeScript. ArkType can complete expressions as you type- even complex unions with arbitrary whitespace🤯 But how do we make sure it all works? @arktype /attest can snapshot completions inline in your existing unit tests✨

2

2

21

@arktypeio

ArkType

11 months

Awesome to see this awesome @LogRocket article explaining how ArkType works and some of the advantages of using it! Expected much more ArkType content soon⛵

Using ArkType for TypeScript runtime validation - LogRocket Blog

Learn about ArkType, a new library for TypeScript that parses type definitions into strings and converts them to state objects.

blog.logrocket.com

0

2

19

@arktypeio

ArkType

2 months

Have you ever needed to write a clear type level error but can't stringify some arbitrary input? The latest @arktype /util introduces a new `describe` util that solves this problem shallowly for unions. It could easily be extended to represent object literals as well! 🌟

Tweet media one

1

2

18

@arktypeio

ArkType

2 months

Object.fromEntries(Object.entries().map()) is a travesty. Luckily, we have just the utility to save the ecosystem 🦸 "morph" allows you to map/filter entries to/from objects and arrays, all from a single API. import it from ` @arktype /util` or try the playground🔗 in comments!

Tweet media one

1

2

17

@arktypeio

ArkType

1 year

Some highlights from our upcoming beta release: 💤Rest element syntax for tuples 🤳"this" keyword 🔥100x+ faster than Zod on 🤯Actual docs Get a head start on TypeScript's next-gen validator:

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

0

5

18

@arktypeio

ArkType

12 days

Imagine every major TypeScript assertion library just choosing to throw away type-safety by converting inline snapshots to strings. Almost like Vitest, Bun and Jest all just copied each others' homework... If you want beautiful, type-safe inline snaps, try @arktype /attest⬇️

Tweet media one

@pydantic

Pydantic

13 days

Pydantic is sponsoring @15r10nk because inline-snapshots is transformative to how we write unit tests in Python! If you're using pytest, and you're not using inline-snapshots, you're wasting your time; simple as that.

1

15

104

2

1

17

@arktypeio

ArkType

10 months

We need 14 more stars to get to 2.2K on GitHub⭐🙏 If we get there today, we may release beta one day sooner than we otherwise would have, although it is hard to say without access to the parallel universe where the opposite outcome occurs🤔

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

2

1

17

@arktypeio

ArkType

1 year

Ever tried intersecting arrays with another validator? Even TypeScript itself is terrible at it. But what about ArkType? Array, tuples, rest elements- all fully inferred, reduced, and available at runtime⛵

Tweet media one

Tweet media two

3

2

17

@arktypeio

ArkType

8 months

@fireship_dev ⛵Later this month - Runtime-enforceable type syntax in native JS DX stonks📈

3

1

15

@arktypeio

ArkType

10 months

⛵ @ssalbdivad will be talking about building me at @ts_congress on September 21st! Expect to learn how to... - Write an efficient type-level parser - Structure a type system that can reduce operations - Avoid having your mind blown (we actually don't know this one yet🤷)

Tweet media one

0

2

15

@arktypeio

ArkType

4 months

Such a great pattern! There's almost no way this snippet could be more elegant and concise.... almost😉

Tweet media one

@mattpocockuk

Matt Pocock

5 months

Fun fact: you can export a value and a type with the SAME NAME. This is great for when you have runtime things in your app that feel like types, like Zod schemas. Are you using this technique? I'm a convert.

Tweet media one

111

72

1K

0

3

15

@arktypeio

ArkType

1 year

String-embeddable `keyof` is coming in 1.0-beta! Stay hyped- we're working as fast as we can to get all of this documented and release so you can finally harness the power of TS for validation 💪

Tweet media one

2

1

15

@arktypeio

ArkType

5 months

Interested in ArkType but not sure where to learn more? Join our Discord! It's rumored to be replete with friendly TypeScript enthusiasts and super secret beta prerelease builds🤫

Tweet card media

0

2

15

@arktypeio

ArkType

1 year

📢Announcing ArkDark, an optional VSCode extension for ArkType that adds TypeScript syntax highlighting within string definitions✨ Try it out:

Tweet media one

0

1

14

@arktypeio

ArkType

1 month

@catalinmpit pnpm install arktype

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

0

1

13

@arktypeio

ArkType

10 months

@mattpocockuk Just turn on "checkJs" in compilerOptions and you've got full type-safety with opt-in runtime validation for when you need it. We still need to experiment with this API, but there is real potential here even beyond validation for what could be done with runtime types in TS/JS🔒

0

0

13

@arktypeio

ArkType

10 months

An awesome member of our Discord just taught us about npm: aliases and how they can be used to simplify switching @code 's @typescript version. Massive if you need to maintain multiple!🔥 If you're interested in ArkType and/or TS, we'd love to have you:

Tweet media one

4

1

14

@arktypeio

ArkType

11 months

ArkType just reached 2,000 stars on GitHub🌠 So excited to share all the changes we've been working on for beta with you- this is just the beginning🔥

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

0

4

14

@arktypeio

ArkType

1 year

What do people think about adding a "this" keyword (modeled after TypeScript's "this" type) to ArkType? It would allow recursive types to be defined outside a scope✨

Tweet media one

3

3

13

@arktypeio

ArkType

1 year

We've been working hard on our upcoming beta release and thought we deserved a little rest. So we added some. The next-generation of TS validation is here, including 1:1 validation and inference for variadic tuples🔥 ⭐on GitHub:

Tweet media one

0

2

13

@arktypeio

ArkType

8 months

"it doesn't matter if my work is recognized." If this sounds like you: ✅Acknowledgement is a fundamental human need ✅It will help you avoid burnout ✅It doesn't make you less of a good person ✅You deserve it🫂

1

1

12

@arktypeio

ArkType

7 months

Looks great! Now make your own ArkType

@zack_overflow

zack (in SF)

7 months

Let's learn how Zod works internally, and exercise our type-level Typescript skills, by making our own Zod from scratch:

4

30

379

1

1

13

@arktypeio

ArkType

2 months

Have you ever wondered what makes a union "discriminated"? Even if you think you already know, we bet there's a broader, more powerful definition out there than the one you're familiar with. This could be your last chance to find out what it is😬 Hope to see you in Vienna🎟️

@EffectTS_

Effect | TypeScript at Scale

2 months

What does it mean to discriminate a union structurally? David Blass @ssalbdivad will give us a deeper understanding of the set theory at the heart of TypeScript and how @EffectTS_ & @arktypeio leverage it to improve static and runtime performance and make your code safer. See…

2

5

17

0

3

13

@arktypeio

ArkType

6 months

💯 We actually just exploit this guy @ssalbdivad . He's so obsessed with realizing his vision for runtime types he doesn't even notice we don't pay him🤣

@DrizzleORM

Drizzle ORM

6 months

$0 marketing ✅️ $0 engineering ✅️ sounds about right

4

5

145

0

1

12

@arktypeio

ArkType

10 months

We're a little behind schedule for our beta release. We've been cooking up some crazy-powerful features that could fundamentally change the relationship between types and validation in the JS ecosystem. Gotta get them out of the oven before we burn the house down😬🔥

Tweet media one

0

1

12

@arktypeio

ArkType

4 months

@t3dotgg @ThePrimeagen It's okay there's still a chance to a disclaimer that says "unless you're implementing parallel static and runtime parser implementations and need them for maintainability," which is basically implied anyways🤣

@t3dotgg

Theo - t3.gg

4 months

See? Prime and I agree sometimes

12

0

264

1

0

10

@arktypeio

ArkType

1 year

ArkType is now the #2 trending TypeScript repo on LibHunt🔥 If you haven't already tried our 1:1 type-safe validation syntax, now's the time!⛵

Tweet media one

0

2

11

@arktypeio

ArkType

11 months

While wrapping up our beta release, we discovered the easiest way to implement TypeScript's Record keyword was to just support index signatures natively. So we did. Standby for imminent™️publishing 🙏

Tweet media one

1

1

11

@arktypeio

ArkType

7 months

Would you like an API like this for validation? It would validate the input when you instantiate the class, and supports for autocomplete just like the rest of our API✨

Tweet media one

3

2

11

@arktypeio

ArkType

10 months

Did you know every line of code you've ever written is just a string until it is parsed? .tsx? More like .txt 🤡 All that matters is the safety and DX the parser provides. TypeScript is great at this- and so is ArkType💪

Tweet media one

1

1

10

@arktypeio

ArkType

1 year

Working on some big changes for our upcoming beta release! Expect new TypeScript docs and 50-100x faster validation thanks to JIT compilation🔥 Are there other features you'd like to see included? Add a comment or create an issue to let us know! 😻

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

0

4

10

@arktypeio

ArkType

11 months

If you don't like writing unit tests, maybe the project you're working on just isn't that interesting.

Tweet media one

1

1

10

@arktypeio

ArkType

2 months

We're getting ready to release a branch we've been working on for ~a year. It's 2142 commits ahead of 1.0.29-alpha. The definitions are still TypeScript syntax, but the entire API around them has been rewritten and expanded. What would you call this branch? 🤔

1.0.30-beta

8

1.1.0-beta.0

21

2.0.0-beta.0

63

8

1

10

@arktypeio

ArkType

11 months

Scopes are one of the most powerful features in ArkType. They're basically like little modules for groups of validators. The challenge is creating analogs for TS concepts like visibility and imports that are intuitive enough that people actually reach for them. Would you?🤔

Tweet media one

0

1

10

@arktypeio

ArkType

1 year

In ArkType's upcoming beta release, any two equivalent type nodes will be reference equal 🤯

Tweet media one

0

2

10

@arktypeio

ArkType

1 year

Autocomplete support is coming to ArkType in our upcoming beta release! Built-in keywords like number and email as well as user-defined aliases will be suggested as you define your validators using TypeScript syntax✨ Check out the repo:

0

3

10

@arktypeio

ArkType

11 months

Developers deserve better performance from their validators, from editor to runtime. ArkType's beta release is coming in early June, and with it, a new bar for runtime validation in TypeScript. If you haven't seen it, the time is now:

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

0

2

8

@arktypeio

ArkType

9 months

Thank you so much to our newest sponsor, @JackSteamDev !💓 It really makes a big difference.

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

0

1

9

@arktypeio

ArkType

1 year

ArkType's static parser is very strict- even stricter than @typescript in some instances like this!🔒 That said, we can allow dynamic constraints like bounds or divisors without degrading inference, so in our upcoming beta release, we will!

Tweet media one

0

1

9

@arktypeio

ArkType

7 months

Just migrated our beta parsing keywords from the root scope to a dedicated submodule accessed like "parse.json" or "parse.url". Feels so clean🧹✨

1

1

9

@arktypeio

ArkType

1 year

So turns out there were a few edge cases to consider when giving static parse feedback on generic instantiations. Don't worry- we've got them covered😎

Tweet media one

@arktypeio

ArkType

1 year

What if instead of hitting instantiation limits on cyclic types, your validator could pass them to optimized, type-safe generics? Everything you've been told about the limitations of TypeScript is a lie- you just have to be willing to think a bit of outside the box0️⃣1️⃣📦

Tweet media one

4

11

85

0

1

9

@arktypeio

ArkType

4 months

@prisma @DrizzleORM

0

0

8

@arktypeio

ArkType

8 months

Want to be productive in TypeScript without simping for the compiler? 🔒Write strict types for API boundaries like functions and classes 🔓Cast as needed for implementation details ArkType is basically an upper-bound for internal complexity and we still get a ton of value🤷

Tweet media one

0

1

8

@arktypeio

ArkType

8 months

Not bad😎

Tweet media one

1

0

8

@arktypeio

ArkType

7 months

Compilation, transpilation🤷 The only semantics we care about are the ones we use to validate that your ArkType definitions will work exactly the way you expect at runtime⛵

Tweet media one

@mjackson

MJ

8 months

The word is "compile", not "transpile". They mean the same thing. JS developers invented a new word because they weren't used to working with compilers before Babel came out. But "Babel is a JavaScript compiler". So is tsc. That's what the "c" stands for; compiler. Ofc, it…

Tweet media one

167

68

959

1

1

6

@arktypeio

ArkType

8 months

Our @ts_congress talk is in two weeks and we're going to do everything we can to ship a stable beta with it🗓️ If you're looking for something other than TypeScript drama to tide yourself over, have you tried our extension? Even on alpha, the DX is🔥

0

1

7

@arktypeio

ArkType

4 months

Very true, and also relevant across many other domains- even within the type system! Check out how ArkType uses this strategy to resolve naked aliases and arrays (both statically and at runtime!) without having to fallback to the full parser logic⚡

Tweet media one

@jarredsumner

Jarred Sumner

4 months

For JS runtimes/engines, a lot of performance optimizations look like if !isObservableDifference doTheReallySimpleThing() else followTheSpecVerbatim()

7

8

282

0

0

7

@arktypeio

ArkType

1 year

ArkType is the only validator that can do this. In our upcoming beta release, we're exposing the entire TypeNode API with convenience methods like "extends" for performant type comparisons at runtime. We're so excited to see what library authors can do with this! 🔥

@ballingt

Thomas Ballinger

1 year

Any way to introspect a Zod validator at runtime? I'd love to check at runtime if a validator satisfies another, or ideally traverse the validation AST to transform it.

3

0

1

0

2

7

@arktypeio

ArkType

9 months

@typescript Awesome! Already thinking about what we might cook up with decorator metadata- after the next release, of course 😉

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

0

1

7

@arktypeio

ArkType

11 months

@t3dotgg Early analysis shows mining BTC is possible when higher-kinded types attain arity 5. Consciousness begins to emerge around 17, but unfortunately at that point most types reduce to "As an AI language model..."

@arktypeio

ArkType

1 year

What if instead of hitting instantiation limits on cyclic types, your validator could pass them to optimized, type-safe generics? Everything you've been told about the limitations of TypeScript is a lie- you just have to be willing to think a bit of outside the box0️⃣1️⃣📦

Tweet media one

4

11

85

0

1

6

@arktypeio

ArkType

1 year

This is 🔥 One of the biggest advantages of a statically-parsed definition syntax over chained.schemas() is that library authors can accept a type-safe validator definition as input without users needing to depend on ArkType (or even know about it!).

@ridafkih

Rida F’kih

1 year

Working on a backend serverless framework with TypeScript which integrates directly with @arktypeio as a peer-dependency for validation and body parsing. It's so satisfying to work with. Can't wait to move this guy public. c:

Tweet media one

1

2

8

0

2

6

@arktypeio

ArkType

1 year

@AndaristRake

0

0

6

@arktypeio

ArkType

1 year

We've learned that above all else, what TypeScript devs want from their validator isn't performance or type-safety, but the ability to generate error messages featuring every letter of the alphabet. In 1.0-kappa, we're going all-in on our static LLM 🔥

Tweet card media

ArkType 1.0-kappa: Building an LLM within TypeScript's type system · arktypeio arktype · Discussion...

We've been asking ourselves recently- what do we really want out of our runtime type system? Safety? Determinism? Nah, f*** that. In the end, we concluded that our top priority should be empowe...

1

1

6

@arktypeio

ArkType

7 months

Shout-out to our newest supporter, @TimeraaDEV 💓 Thank you so much! Also love to our other amazing sponsors- check them out in our README!

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

0

3

6

@arktypeio

ArkType

5 months

I know we've spoken with many of you about this feature- we're eager to get your feedback! @AndaristRake @t3dotgg @mattpocockuk @awkweb @MichaelArnaldi @danielcroe @MiTypeScript @trashh_dev

1

0

5

@arktypeio

ArkType

1 year

Just published arktype @1 .0.9-alpha 🎉 ArkType's goal is always to provide the clearest inferences possible. This release contains some type optimizations for array intersections that are even clearer than using TypeScript directly ✨ Full notes:

Release v1.0.9-alpha · arktypeio/arktype

Patch Changes improve type summaries for tuple/array intersections This change improves the inferred types of array intersections including one or more tuples. const tupleAndArray = type([ [{...

1

2

5

@arktypeio

ArkType

8 months

We've heard this from lots of awesome open source devs and content creators. As validation specialists, we figured we should remind y'all that you're great and that it's okay to be human💖

0

0

5

@arktypeio

ArkType

10 months

@trashh_dev We recently added Date literals like `Date>d"2000-01-01"` to ArkType. Everything between `d"` and `"` just defers to the Date constructor, so we'll take this opportunity to publicly state that we shall not be held responsible for any physical or emotional damage from using it.

0

0

5

@arktypeio

ArkType

4 months

@ThePrimeagen @t3dotgg So how would you do it better?

@ssalbdivad

David Blass

4 months

@t3dotgg @arktypeio @ThePrimeagen My reason for using them for the runtime parser is since you already have to understand the logic as written in ternaries because that's the only way to change the types. So I can either mirror that, or force you to map between two different patterns as you make changes.

2

0

8

1

0

5

@arktypeio

ArkType

9 months

@DrizzleOrm Brb moving all of our type optimization issues to the @TypeScript repo

0

0

5

@arktypeio

ArkType

9 months

Imagine going from... 🕊️The serenity of hearing @mattpocockuk 's beautiful voice talking about types to... 🎢The exhilaration of learning how ArkType can bring type syntax to JS to... ❤️‍🔥The intrigue of learning all the dirty secrets we needed to do it. Best. Thursday. Ever.

@mattpocockuk

Matt Pocock

9 months

Really hyped about MC-ing TS Congress. Going to be some awesome speakers and some great Q&A's. Can't wait to sit in on these talks from the comfort of my office.

1

11

57

0

1

5

@arktypeio

ArkType

11 months

the community: "arrow functions are overused, use the function keyword" us: eslint rule requiring arrow functions from a terminal themed like an arrow function

Tweet media one

1

1

5

@arktypeio

ArkType

10 months

@jarredsumner ArkType includes a full type system that could be very useful in the context of a project like this, especially in the next release with new APIs attached to traversible TypeNodes like `.extends(otherType)`. Would be easy enough to just tweak the TS type to an ArkType definition…

0

0

4

@arktypeio

ArkType

8 months

This is not an error with @typescript 's default settings🤯 const s: string = null Virtually every modern TS library requires `strictNullChecks`. So many people were confused by it that we built it into our validation. Maybe time to change the default?🤔

Tweet media one

0

1

4

@arktypeio

ArkType

1 year

Ever wonder what ArkType means by "isomorphic parsing"? Definitions are validated using type-level and runtime parsers that mirror one another. If you accidentally write: type( "string|numbr") The type error you'll get in editor is identical to the one thrown at runtime 🔗

Tweet media one

1

2

4

@arktypeio

ArkType

9 months

Thanks so much to @neodon and @tylim88 , our newest supporters💖 It really means a lot to know people genuinely value your work!

0

1

4

@arktypeio

ArkType

2 months

ArkType uses TypeScript to parse arbitrary type syntax, resolve hundreds of custom cyclic types with no delay. If you really think the lowest hanging fruit for your type performance is in the compiler, the burden of proof is yours to bear.

0

0

3

@arktypeio

ArkType

6 months

@fredoiq Just wait until we support precompilation and you can have no bundled dependency at all😏

0

0

4

@arktypeio

ArkType

1 year

⭐Check out the new syntax examples in our README:

Tweet card media

GitHub - arktypeio/arktype: TypeScript's 1:1 validator, optimized from editor to runtime

TypeScript's 1:1 validator, optimized from editor to runtime - arktypeio/arktype

0

0

4

@arktypeio

ArkType

8 months

@typescript The new tuple annotation rules are a great QOL improvement. Thanks again for your awesome work 💖

0

0

4

@arktypeio

ArkType

8 months

@is_it_ayush @trashh_dev @Hacksore @t3dotgg @scrotalmass New logo?🤔

Tweet media one

0

0

4

@arktypeio

ArkType

1 year

Have you tried writing ArkType validators with autocomplete yet? Feels just like defining native TypeScript in your IDE🧑‍💻🔥 Check it out:

1

2

4

@arktypeio

ArkType

1 year

@typescript is an amazing tool, but doesn't always display types optimally- ever tried intersecting arrays? With ArkType, our goal is to represent genuinely helpful types as concisely as possible. Check out our repo if you like when types "just work"⭐

Tweet media one

1

2

4

@arktypeio

ArkType

5 months

@solinvictvs @urielsouza29 This is a beta feature that's not been finalized, but a syntax like this will give you full control of how your parameters are typed and validated- even from JS!

1

0

4