feature: add branded types about valibot HOT 8 CLOSED

I think I understand it now. Cool idea. Once I'm done with my bachelor thesis and hopefully have some more time, I can take a closer look at it.

from valibot.

If you have time and interest, you can try to implement this feature and submit a PR. I will check your code and give you feedback.

from valibot.

The brand feature is now available 🎉

from valibot.

Can you explain in which specific use cases brand is useful and offers an advantage? I have not quite understood it yet.

from valibot.

Nominal type matching is highly requested typescript feature, and until typescript doesn't have it, branded types is alternative.

See some resources of using them
https://egghead.io/blog/using-branded-types-in-typescript
https://twitter.com/mattpocockuk/status/1625173884885401600

from valibot.

Thanks! I should mention that zod also have brand utility, docs. I think it would simplify migration to valibot. See later great example of implementing nominal types in other lib @effect/data

from valibot.

@fabian-hiller if you have finished your degree and you are not yet familiar with this, then you are missing one of the best type safety features and it's a good time for you to investigate it 😁. This exists in several languages with different names, but the same concept:

• ocaml: phantom types
• rust: newtype pattern
• F# constrained types (I think)

Since you seem to be interested in the type safety topic I really recommend taking a look at "domain modeling made functional", for some eye-opening usage examples. For me they are super valuable for IDs (what is that string? A user ID or a car ID?)

from valibot.

Thank you. I will have a look at it.

from valibot.