genType VS zod

I don't really use ts-belt to be certain, but by looking at the source, it seems that it's using genType, which can generate TS types from ReScript values, and that makes interop work really well.

They discuss this in their docs.

https://rescript-lang.org/docs/manual/latest/introduction#di...

Seems like a type system for Javascript, built with a differing set of opinions than Typescript.

Looks like they also offer some form of TS interop:

https://rescript-lang.org/docs/gentype/latest/introduction

TS Belt has been built with ReScript (and its Belt stdlib). ReScript generates highly performant JavaScript code, and with genType it also automatically generates TypeScript types. Moreover, I've added a few codemods to the building process to provide even more code optimizations and cleaner TypeScript signatures.

To interoperate with TypeScript with proper type information you’ll use third-party genType. Add it as a devDependency and annotate the module export you want to generate with @genType (in previous versions you’d surround annotations with square brackets).

Zod is extremely useful and expressive, it allows you to define complex data types and validation rules. You can read the full documentation on GitHub.

Zod: For client/server side data validation

useActionState also manages state by automatically updating a state variable with the value returned from the server action. This is particularly helpful for rendering input field validation errors, as shown in the example below using Zod.

Pretty easy to add runtime validation at the edges with Zod https://github.com/colinhacks/zod

Great thing is that the zod schema also doubles as a typescript type so you don't have to write a duplicate TS type.

For user form validation we will install and import Zod. Here declare what format the input needs to be and if there are any requirements like minimum or maximum length.

Can you name a common language with runtime type safety?

Anyway, you can get this with Zod https://zod.dev/

For type conversions, that’s easy: use Zod.

All of this we can achieve by using Zod and a small wrapper.

Zod is a TypeScript-first schema validation with static type inference. So let's say for example we have this basic type for a User: