3 ms·
The type checker can only prove what is known at compile time and only if you're disciplined. To bridge runtime and compile time (as your application will like
by epolanski 11mo ago
The type checker can only prove what is known at compile time and only if you're disciplined.
To bridge runtime and compile time (as your application will likely get some external data) you've got to use a proper parser such as zod[1] or if you want to stretch it even further effect-schema[2].
[1] https://zod.dev/ https://zod.dev/
[2] https://effect.website/docs/schema/introduction/ https://effect.website/docs/schema/introduction/
- girvo 11mo agoI’m currently in love with Arktype, and as it supports Standard Schema it plugs into most places that can take Zod schemas too :) https://arktype.io/ https://arktype.io/
- epolanski 11mo agoThat's a validator, not a proper parser, no?
- culi 11mo agoWhat's the difference here? I've only used Zod but I typically think of Zod as a runtime validation library. AFAIK arktype is a full-featured replacement for Zod
- girvo 11mo agoI don't think I understand the difference you're drawing on here? It parses data and validates its structure, and is a replacement for all my uses of Zod?