How does ZOD work? Build it yourself!

Поділитися
Вставка
  • Опубліковано 5 бер 2023
  • Zod may be the best TypeScript schema validation library, and it offers both runtime and compile time type checks! Let's try to build it ourselves to get an idea for how it might work.
    My Blog: shaky.sh
    My Coding Setup: shaky.sh/tools/
  • Наука та технологія

КОМЕНТАРІ • 33

  • @vendiddy
    @vendiddy Місяць тому

    This was very illuminating! In a similar vein I'd love to understand how something like ts-pattern works under the hood. Like how to implement a mini pattern-matching library.

  • @dinckelman
    @dinckelman Рік тому +12

    I decided to mess around with Zod in a test project, and it seemed very convenient, at least at first glance. If this ends up working out for what I need it to do, I might convert my entire recent project to it. It might fix a couple inconvenient bugs there

    • @fagnersales532
      @fagnersales532 Рік тому +6

      Before knowing abohut Zod, I was used to validate everything by myself, then I tried Zod in a test project and I can tell, it is very easy to grow with zod, the difficulty doesn't increase together, it feels you're just creating Types/Interfaces in a more security way, I really recommend you to do that.

    • @dinckelman
      @dinckelman Рік тому +1

      @@fagnersales532 strict types is basically the whole point of my project so if I can close a few gaps for what I couldn't do natively, it'll be awesome

  • @0xtz_
    @0xtz_ 3 дні тому

    that's cool man 😎
    each video => more knowledge for me 😂
    thanks 🙏 amazing videos

  • @janithrandeniya4504
    @janithrandeniya4504 Рік тому +1

    This was great - thank you!

  • @sankalpmukim1052
    @sankalpmukim1052 Рік тому +3

    How does Nest's Dependency Injection and some other cool features work together? They use extremely good separation of concerns by using modules for everything. Any kind of under the hood analysis will be really cool!

  • @seatube327
    @seatube327 Рік тому +5

    Great video! I'd suggest returning the parsed value of arg from the validate function so that it strips out properties that were not defined in the schema like zod does.

    • @-ion
      @-ion Рік тому

      Zod's philosophy of "parse, don't validate" naturally leads to that being the output.

  • @avimehenwal
    @avimehenwal Рік тому

    Great video, I am interesting to know how JSON object config parsing libraries work with big complex objects which multiple optional and default properties

  • @AngelHdzMultimedia
    @AngelHdzMultimedia Рік тому

    Nice channel!
    Isn't it `arg as keyof S` in line 42 instead of any? Thank you!

  • @-ion
    @-ion Рік тому

    Zod uses "parse, don't validate" as a tagline. Just validating and then asserting a type leaves some room for logic errors in the validator.
    Actually having to construct a value corresponding to the parser's return type makes the code more robust against such errors.

  • @nielsgregersen1351
    @nielsgregersen1351 Рік тому +2

    It's kind of strange that typescript isn't able to make the connection between :
    'asserts value is string'
    and
    'if (typeof value !== "string") throw'
    since it knows what both statements do individually

    • @wlockuz4467
      @wlockuz4467 Рік тому

      I have ran into this a bunch. I had to put a return in the same block after throwing an error so after that block TypeScript would give me the correct type.

    • @-ion
      @-ion Рік тому

      You can return an actual string rather than a disconnected type assertion, turning it from a validator into a parser. This is what Zod does.

  • @munzamt
    @munzamt Рік тому

    How recoil reaches fine grained update? How jest is working (except especially)?

  • @awekeningbro1207
    @awekeningbro1207 Рік тому +1

    when I create the assertion function like you did, I get an error - 'val' is not defined. on the line 'asserts val is a string' . Why?

    • @andrew-burgess
      @andrew-burgess  Рік тому +1

      Make sure that you use the same name as the argument of the assertion function. So
      function assertsString(val: unknown): asserts val is string {...}

  • @vimhub
    @vimhub Рік тому

    you can use the "satisfy" correct ?

  • @brielov
    @brielov Рік тому

    I use my own implementation (:

  • @wertrager
    @wertrager Рік тому +1

    Universal quantification

  • @fedordostoevskiy4209
    @fedordostoevskiy4209 Рік тому

    👀👍👍

  • @ChristophVonBagel
    @ChristophVonBagel Рік тому

    You will bow to Zod lol

  • @kevinandeleven
    @kevinandeleven Рік тому

    Too late, already built mine in January 😂.. Name on npm is valleyed

    • @kevinandeleven
      @kevinandeleven Рік тому

      Actually, it was a validation library I wrote a few years back to use in all my projects, back and frontend, and it had its unique api, so when I ran into zod in January and liked it's api design, I decided to add a similar api into my library

  • @vukkulvar9769
    @vukkulvar9769 Рік тому

    I dislike how Zod does things backwards. Zod should enforce validation to follow a type, rather than making up a type from validation.

  • @kardashevr
    @kardashevr Рік тому

    how are you so condescending and not condescending at all at the same time?

    • @andrew-burgess
      @andrew-burgess  Рік тому +8

      Lol I hope that’s a good thing? I just try to explain it how I’d want to hear it if I was learning it for the first time.

    • @helsontaveras7961
      @helsontaveras7961 Рік тому +8

      he's not condescending at all... he's a very patient and thorough teacher.

    • @vanjazed7021
      @vanjazed7021 Рік тому

      How is he condencending? Oh, you mean the school teacher like tone of voice?